J.F. Molderez, C. Ponsard, Deriving Acceptance Tests from Goal Requirements, 2nd International Mozart/Oz Conference, Charleroi (Belgium), September 2004.
Date: 1er mars 2004
Publication: Publications scientifiques ⊕
Expertises:
Ingénierie des systèmes IT complexes ⊕
A propos du projet: FAUST ⊕
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.