Accueil > FR > Actualités > Publications > Deriving Acceptance Tests from Goal Requirements


Deriving Acceptance Tests from Goal Requirements

J.F. Molderez, C. Ponsard, Deriving Acceptance Tests from Goal Requirements, 2nd International Mozart/Oz Conference, Charleroi (Belgium), September 2004.

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.