Abstract
In this paper we present a new coarse grain approach to automated 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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
V. Braun, T. Margaria, B. Steffen, H. Yoo: Automatic Error Location for IN Service Definition, Proc. AIN’97, 2nd Int. Workshop on Advanced Intelligent Networks, Cesena, 1997.
J.-C. Fernandez, C. Jard, T. Jéron and C. Viho: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, Science of Computer Programming, 29, 1997.
J. Hofmann: Program Dependent Abstract Interpretation, Diplomarbeit, Fakultat fur Mathematik und Informatik, Universitat Passau, August 1997.
B. Jonsson, T. Margaria, G. Naeser, J. Nystrom, B. Steffen: On Modelling Feature Interactions in Telecommunications, Proc. of Nordic Workshop on Programming Theory, eds. B. Victor and W. Yi, 1999.
B. Jonsson, T. Margaria, G. Naeser, J. Nystrom, B. Steffen: Incremental Requirements Specification of Evolving Systems, Feature Interactions in Telecommunications and Software Systems VI, eds. M. Calder and E. Magill, ISO Press, 2000.
T. Margaria, B. Steffen: Backtracking-free Design Planning by Automatic Synthesis in METAFrame Proc. FASE’98, Int. Conf. on Fundamental Aspects of Software Engineering, Lisbon, Apr. 1998, LNCS 1382, pp.188–204, Springer Verlag.
O. Niese, T. Margaria, M. Nagelmann, B. Steffen, G. Brune, H.-D. Ide: An open Environment for Automated Integrated Testing, 4th Int. Conf. on Software and Internet Quality Week Europe (QWE’00), Brussels (Belgium), November 2000, CD-ROM Proccedings, pp 584–593.
O. Niese, M. Nagelmann, A. Hagerer, K. Strunck, W. Goerigk, A. Erochok, B. Hammelmann: Demonstration of an Automated Integrated Testing Environment for CTI Systems, Proc. FASE 2001, this volume. Genova (I), 2001.
Object Management Group: The Common Object Request Broker: Architecture and Specification, Revision 2.3, Object Management Group, 1999.
Rational: The Rational Suite description. http://www.rational.com/products.
M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe, Autolink-A Tool for Automatic and Semi-automatic Test Generation from SDL-Specifications, Technical Report A-98-05, Medical Univ. of Lubeck, Germany, 1998.
ITU-T Recommendation Z.100, CCITT specification and description language,’ 93.
Sun: Java Remote Method Invocation. http://java.sun.com/products/jdk/rmi.
B. Steffen, T. Margaria, A. Claßen, V. Braun: Incremental Formalization: a Key to Industrial Success, in“Software: Concepts and Tools”, Vol.17(2), pp. 78–91, Springer Verlag, July 1996.
B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design Int. Journ. on Software Tools for Technology Transfer (STTT), Vol. 1 N. 1+2, Springer Verlag, November 1997, pp. 9–30.
B. Steffen, T. Margaria: METAFrame in Practice: Intelligent Network Service Design, In Correct System Design-Issues, Methods and Perspectives, LNCS 1710, Springer Verlag, 1999, pp.390–415.
B. Steffen, T. Margaria, V. Braun, and N. Kalt: Hierarchical service definition, Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago (USA), pages 847–856, 1997.
C. Stirling: Modal and Temporal Logics, In Handbook of Logics in Computer Science, Vol. 2, pp. 478–551, Oxford Univ. Press, 1995.
Telelogic: Telelogic Tau. http://www.telelogic.com.
J. Tretmans and A. Belinfante: Automatic testing with formal methods, In EuroSTAR’99:7 th European Int. Conference on Software Testing, Analysis & Review. EuroStar Conferences, Galway, Ireland, November 8-12, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, HD. (2001). Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. In: Hussmann, H. (eds) Fundamental Approaches to Software Engineering. FASE 2001. Lecture Notes in Computer Science, vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45314-8_17
Download citation
DOI: https://doi.org/10.1007/3-540-45314-8_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41863-4
Online ISBN: 978-3-540-45314-7
eBook Packages: Springer Book Archive