Demonstration of an operational procedure for the model-based testing of cti systems

Andreas Hagerer; Hardi Hungar; Tiziana Margaria; Oliver Niese; Bernhard Steffen; Hans Dieter Ide

doi:10.1007/3-540-45923-5_25

Demonstration of an operational procedure for the model-based testing of cti systems

Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans Dieter Ide

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In this demonstration we illustrate how a posteriori modeling of complex, heterogeneous, and distributed systems is practically performed within an automated integrated testing environment (ITE) to give improved support to the testing process of steadily evolving systems. The conceptual background of the modeling technique, called moderated regular extrapolation is described in a companion paper.

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings
Editors	Ralf-Detlef Kutsche, Herbert Weber
Publisher	Springer Verlag
Pages	336-339
Number of pages	4
ISBN (Print)	3540433538, 9783540433538
DOIs	https://doi.org/10.1007/3-540-45923-5_25
Publication status	Published - 2002
Externally published	Yes
Event	5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France Duration: 8 Apr 2002 → 12 Apr 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2306
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
Country/Territory	France
City	Grenoble
Period	8/04/02 → 12/04/02

Access to Document

10.1007/3-540-45923-5_25

Cite this

Hagerer, A., Hungar, H., Margaria, T., Niese, O., Steffen, B., & Ide, H. D. (2002). Demonstration of an operational procedure for the model-based testing of cti systems. In R.-D. Kutsche, & H. Weber (Eds.), Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings (pp. 336-339). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2306). Springer Verlag. https://doi.org/10.1007/3-540-45923-5_25

Hagerer, Andreas ; Hungar, Hardi ; Margaria, Tiziana et al. / Demonstration of an operational procedure for the model-based testing of cti systems. Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. editor / Ralf-Detlef Kutsche ; Herbert Weber. Springer Verlag, 2002. pp. 336-339 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{81a7811fafc544e180fefb4072dfcd01,

title = "Demonstration of an operational procedure for the model-based testing of cti systems",

abstract = "In this demonstration we illustrate how a posteriori modeling of complex, heterogeneous, and distributed systems is practically performed within an automated integrated testing environment (ITE) to give improved support to the testing process of steadily evolving systems. The conceptual background of the modeling technique, called moderated regular extrapolation is described in a companion paper.",

author = "Andreas Hagerer and Hardi Hungar and Tiziana Margaria and Oliver Niese and Bernhard Steffen and Ide, {Hans Dieter}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 ; Conference date: 08-04-2002 Through 12-04-2002",

year = "2002",

doi = "10.1007/3-540-45923-5_25",

language = "English",

isbn = "3540433538",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "336--339",

editor = "Ralf-Detlef Kutsche and Herbert Weber",

booktitle = "Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings",

}

Hagerer, A, Hungar, H, Margaria, T, Niese, O, Steffen, B & Ide, HD 2002, Demonstration of an operational procedure for the model-based testing of cti systems. in R-D Kutsche & H Weber (eds), Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2306, Springer Verlag, pp. 336-339, 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 8/04/02. https://doi.org/10.1007/3-540-45923-5_25

Demonstration of an operational procedure for the model-based testing of cti systems. / Hagerer, Andreas; Hungar, Hardi; Margaria, Tiziana et al.
Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. ed. / Ralf-Detlef Kutsche; Herbert Weber. Springer Verlag, 2002. p. 336-339 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2306).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Demonstration of an operational procedure for the model-based testing of cti systems

AU - Hagerer, Andreas

AU - Hungar, Hardi

AU - Margaria, Tiziana

AU - Niese, Oliver

AU - Steffen, Bernhard

AU - Ide, Hans Dieter

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2002.

PY - 2002

Y1 - 2002

N2 - In this demonstration we illustrate how a posteriori modeling of complex, heterogeneous, and distributed systems is practically performed within an automated integrated testing environment (ITE) to give improved support to the testing process of steadily evolving systems. The conceptual background of the modeling technique, called moderated regular extrapolation is described in a companion paper.

AB - In this demonstration we illustrate how a posteriori modeling of complex, heterogeneous, and distributed systems is practically performed within an automated integrated testing environment (ITE) to give improved support to the testing process of steadily evolving systems. The conceptual background of the modeling technique, called moderated regular extrapolation is described in a companion paper.

UR - http://www.scopus.com/inward/record.url?scp=84958771250&partnerID=8YFLogxK

U2 - 10.1007/3-540-45923-5_25

DO - 10.1007/3-540-45923-5_25

M3 - Conference contribution

AN - SCOPUS:84958771250

SN - 3540433538

SN - 9783540433538

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 336

EP - 339

BT - Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings

A2 - Kutsche, Ralf-Detlef

A2 - Weber, Herbert

PB - Springer Verlag

T2 - 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002

Y2 - 8 April 2002 through 12 April 2002

ER -

Hagerer A, Hungar H, Margaria T, Niese O, Steffen B, Ide HD. Demonstration of an operational procedure for the model-based testing of cti systems. In Kutsche RD, Weber H, editors, Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. Springer Verlag. 2002. p. 336-339. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45923-5_25

Demonstration of an operational procedure for the model-based testing of cti systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this