loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Workshop on Rapid System Prototyping (RSP'01)
Model Based Testing in Evolutionary Software Development
Monterey, California
June 25-June 27
ISBN: 0-7695-1206-2
ASCII Text
x 
 
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps, "Model Based Testing in Evolutionary Software Development," Rapid System Prototyping, IEEE International Workshop on, pp. 0155, 12th IEEE International Workshop on Rapid System Prototyping (RSP'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/IWRSP.2001.933854,
author = {Alexander Pretschner and Heiko Lötzbeyer and Jan Philipps},
title = {Model Based Testing in Evolutionary Software Development},
journal ={Rapid System Prototyping, IEEE International Workshop on},
volume = {0},
year = {2001},
isbn = {0-7695-1206-2},
pages = {0155},
doi = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.2001.933854},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rapid System Prototyping, IEEE International Workshop on
TI - Model Based Testing in Evolutionary Software Development
SN - 0-7695-1206-2
SP
EP
A1 - Alexander Pretschner,
A1 - Heiko Lötzbeyer,
A1 - Jan Philipps,
PY - 2001
VL - 0
JA - Rapid System Prototyping, IEEE International Workshop on
ER -
 
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.
Citation:
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps, "Model Based Testing in Evolutionary Software Development," rsp, pp.0155, 12th IEEE International Workshop on Rapid System Prototyping (RSP'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.