Testing Time Goal-Driven Requirements with Model Checking Techniques

Authors:
Gregorio Diaz;Elena Navarro;Maria-Emilia Cambronero;Valentin Valero;Fernando Cuartero
Affiliations:
University of Castilla-La Mancha, Spain;University of Castilla-La Mancha, Spain;University of Castilla-La Mancha, Spain;University of Castilla-La Mancha, Spain;University of Castilla-La Mancha, Spain
Venue:
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Year:
2007

Citing 0
Cited 1

Satisfaction and coherence of deadline constraints in inter-organizational workflows

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present the testing of time goal requirements by using Model Checking as an engine for test generation. The goal model that we use to capture the time requirements is an extension of KAOS. This goal model specifies the properties that the system must satisfy and how they are tested by using the model checker engine, UPPAAL. As an illustration of this proposal we take a particular study case based on GSM cell technology.