Deriving Acceptance Tests from Goal Requirements

  • Jean-François Molderez
  • Christophe Ponsard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3389)


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.


Linear Temporal Logic Acceptance Test Goal Model Atomic Proposition Constraint Solver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    IEEE Std 610.12-1990. IEEE standard glossary of software engineering terminology (1990)Google Scholar
  2. 2.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)zbMATHCrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Havelund, K., Rosu, G.: Rewriting-based techniques for runtime verification. To appear in Journal of Automated Software Engineering (2004)Google Scholar
  6. 6.
    Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration (2002)Google Scholar
  7. 7.
    Manna, Z., Pnueli, A.: The reactive behavior of reactive and concurrent system. Springer, Heidelberg (1992)Google Scholar
  8. 8.
    The FAUST toolbox (2004),
  9. 9.
    Van Tran, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: 12th IEEE Int.Req.Eng.Conf., Kyoto (September 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jean-François Molderez
    • 1
  • Christophe Ponsard
    • 1
  1. 1.CETIC Research CenterCharleroiBelgium

Personalised recommendations