Title :
Testing Time Goal-Driven Requirements with Model Checking Techniques
Author :
Díaz, Gregorio ; Navarro, Elena ; Cambronero, María-Emilia ; Valero, Valentín ; Cuartero, F.
Author_Institution :
Dept. of Comput. Sci., Castilla-La Mancha Univ.
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
Keywords :
program testing; program verification; KAOS; UPPAAL; model checking; test generation; time goal-driven requirement testing; Application software; Automata; Clocks; Engines; Hardware; Software quality; Software systems; Software testing; System testing; Web services;
Conference_Titel :
Engineering of Computer-Based Systems, 2007. ECBS '07. 14th Annual IEEE International Conference and Workshops on the
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7695-2772-8
DOI :
10.1109/ECBS.2007.70
