Deriving acceptance tests from goal requirements

Authors:
Jean-François Molderez;Christophe Ponsard
Affiliations:
CETIC Research Center, Charleroi, Belgium;CETIC Research Center, Charleroi, Belgium
Venue:
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Year:
2004

Citing 5
Cited 0

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using model checking to generate tests from requirements specifications

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Goal-Oriented Requirements Animation

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International

Quantified Score

Hi-index	0.00

Visualization

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.