TY - GEN
T1 - Library-based design and consistency checking of system-level industrial test cases
AU - Niese, Oliver
AU - Steffen, Bernhard
AU - Margaria, Tiziana
AU - Hagerer, Andreas
AU - Brune, Georg
AU - Ide, Hans Dieter
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - In this paper we present a new coarse grain approach to auto- mated integrated (functional) testing, which combines three paradigms: library-based test design, meaning construction of test graphs by combination of test case components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose environment for application-specific test development and execution, and library-based consistency checking, allowing continuous verification of application- and aspect-specific properties by means of model checking. These features and their impact for the test process and the test engineers are illustrated along an industrial application: an automated integrated testing environment for CTI-Systems.
AB - In this paper we present a new coarse grain approach to auto- mated integrated (functional) testing, which combines three paradigms: library-based test design, meaning construction of test graphs by combination of test case components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose environment for application-specific test development and execution, and library-based consistency checking, allowing continuous verification of application- and aspect-specific properties by means of model checking. These features and their impact for the test process and the test engineers are illustrated along an industrial application: an automated integrated testing environment for CTI-Systems.
UR - http://www.scopus.com/inward/record.url?scp=84944181903&partnerID=8YFLogxK
U2 - 10.1007/3-540-45314-8_17
DO - 10.1007/3-540-45314-8_17
M3 - Conference contribution
AN - SCOPUS:84944181903
SN - 3540418636
SN - 9783540418634
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 233
EP - 248
BT - Fundamental Approaches to Software Engineering - 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings
A2 - Hussmann, Heinrich
PB - Springer Verlag
T2 - 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001
Y2 - 2 April 2001 through 6 April 2001
ER -