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.

Date: 1er mars 2004

Publication: Publications scientifiques 

Expertises:

Ingénierie des systèmes IT complexes 

A propos du projet: FAUST 

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.