DocumentCode
3242439
Title
Model based testing in evolutionary software development
Author
Pretschner, Alexander ; Lötzbeyer, Heiko ; Philipps, Jan
Author_Institution
Inst. fur Inf., Tech. Univ. Munchen, Germany
fYear
2001
fDate
2001
Firstpage
155
Lastpage
160
Abstract
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. We argue that these parts should consist not only of programming language code, but of executable graphical system models. As a main benefit of the use of more abstract, yet formal, modeling languages, we present a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming and its implementation in the CASE tool AutoFocus
Keywords
constraint handling; logic programming; program testing; software prototyping; CASE tool AutoFocus; constraint logic programming; evolutionary software development; executable graphical system models; model based test sequence generation; model based testing; modeling languages; programming language code; reactive systems; Computer aided software engineering; Computer languages; Design engineering; Genetic programming; Logic programming; Logic testing; Programming profession; Prototypes; Software testing; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Rapid System Prototyping, 12th International Workshop on, 2001.
Conference_Location
Monterey, CA
Print_ISBN
0-7695-1206-2
Type
conf
DOI
10.1109/IWRSP.2001.933854
Filename
933854
Link To Document