Rapid System Prototyping, IEEE International Workshop on (2001)
June 25, 2001 to June 27, 2001
Alexander Pretschner , Technische Universit?t M?nchen
Heiko Lötzbeyer , Technische Universit?t M?nchen
Jan Philipps , Technische Universit?t M?nchen
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. Cleanroom SW Engineering, Constraint Logic Programming, Extreme Programming, Incremental Development, Rapid Prototyping, Reactive Systems, Test Case Generation.
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps, "Model Based Testing in Evolutionary Software Development", Rapid System Prototyping, IEEE International Workshop on, vol. 00, no. , pp. 0155, 2001, doi:10.1109/IWRSP.2001.933854