TY - JOUR
T1 - Model based testing in incremental system development
AU - Pretschner, Alexander
AU - Lötzbeyer, Heiko
AU - Philipps, Jan
N1 - Funding Information:
Supported by the DLR (project MOBASIS) and by the DFG under reference numbers Be 1055/7-2 (project KONDISK/IMMA) and Br 887/14-1 (project INKREA).
PY - 2004/3
Y1 - 2004/3
N2 - The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. It is argued 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, a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming as well as its implementation in the CASE tool AUTOFOCUS is presented.
AB - The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. It is argued 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, a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming as well as its implementation in the CASE tool AUTOFOCUS is presented.
KW - Cleanroom SW engineering
KW - Constraint logic programming
KW - Extreme programming
KW - Incremental development
KW - Rapid prototyping
KW - Reactive systems
KW - Test case generation
UR - http://www.scopus.com/inward/record.url?scp=0346968298&partnerID=8YFLogxK
U2 - 10.1016/S0164-1212(03)00076-1
DO - 10.1016/S0164-1212(03)00076-1
M3 - Conference article
AN - SCOPUS:0346968298
SN - 0164-1212
VL - 70
SP - 315
EP - 329
JO - Journal of Systems and Software
JF - Journal of Systems and Software
IS - 3
T2 - Rapid system prototyping
Y2 - 1 June 2001 through 1 June 2001
ER -