Abstract
Acceptance testing is formal testing conducted to determine whether or not a system satisfies its acceptance criteria and to enable the customer to determine whether or not to accept the system. An Acceptance Test Generator has been built in Oz that receives as input the formalized goal-based requirements of a system-to-be. In this framework, we motivate our choice of the Oz programming language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEEE Std 610.12-1990. IEEE standard glossary of software engineering terminology (1990)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)
Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: 4th ACM Symp. on the Foundations of Software Engineering, San Francisco (1996)
Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol. 1687, p. 146. Springer, Heidelberg (1999)
Havelund, K., Rosu, G.: Rewriting-based techniques for runtime verification. To appear in Journal of Automated Software Engineering (2004)
Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration (2002)
Manna, Z., Pnueli, A.: The reactive behavior of reactive and concurrent system. Springer, Heidelberg (1992)
The FAUST toolbox (2004), http://faust.cetic.be
Van Tran, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: 12th IEEE Int.Req.Eng.Conf., Kyoto (September 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Molderez, JF., Ponsard, C. (2005). Deriving Acceptance Tests from Goal Requirements. In: Van Roy, P. (eds) Multiparadigm Programming in Mozart/Oz. MOZ 2004. Lecture Notes in Computer Science, vol 3389. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31845-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-31845-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25079-1
Online ISBN: 978-3-540-31845-3
eBook Packages: Computer ScienceComputer Science (R0)