Model based testing in incremental system development

Alexander Pretschner; Heiko Lötzbeyer; Jan Philipps

doi:10.1016/S0164-1212(03)00076-1

Model based testing in incremental system development

Alexander Pretschner
, Heiko Lötzbeyer
, Jan Philipps

Informatics 4 - Chair of Software und Systems Engineering

Technical University of Munich

Research output: Contribution to journal › Conference article › peer-review

9 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	315-329
Number of pages	15
Journal	Journal of Systems and Software
Volume	70
Issue number	3
DOIs	https://doi.org/10.1016/S0164-1212(03)00076-1
State	Published - Mar 2004
Event	Rapid system prototyping - Montorey, CA, United States Duration: 1 Jun 2001 → 1 Jun 2001

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Cleanroom SW engineering
Constraint logic programming
Extreme programming
Incremental development
Rapid prototyping
Reactive systems
Test case generation

Access to Document

10.1016/S0164-1212(03)00076-1

Cite this

@article{bc6382d78dbf45478fff3f14d8a8901c,

title = "Model based testing in incremental system development",

abstract = "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.",

keywords = "Cleanroom SW engineering, Constraint logic programming, Extreme programming, Incremental development, Rapid prototyping, Reactive systems, Test case generation",

author = "Alexander Pretschner and Heiko L{\"o}tzbeyer and Jan Philipps",

note = "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). ; Rapid system prototyping ; Conference date: 01-06-2001 Through 01-06-2001",

year = "2004",

month = mar,

doi = "10.1016/S0164-1212(03)00076-1",

language = "English",

volume = "70",

pages = "315--329",

journal = "Journal of Systems and Software",

issn = "0164-1212",

publisher = "Elsevier Inc.",

number = "3",

}

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 - https://www.scopus.com/pages/publications/0346968298

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 -

Model based testing in incremental system development

Abstract

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this