DocumentCode
2301711
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.
fYear
2007
fDate
26-29 March 2007
Firstpage
503
Lastpage
514
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ECBS.2007.70
Filename
4148968
Link To Document