Abstract
This special section is devoted to a selection of papers that originally appeared in two thematic sessions on high-level testing of complex systems at IDPT 2002 and 2003, the 6th and 7th World Conference on Integrated Design and Process Technology, which took place in Pasadena, CA in June 2002 and in Austin, TX in December 2003, respectively.
This collection of papers spans a wide panoramic view on the development of testing and validation technology along several dimmensions. It touches on issues such as
-
Kinds of systems
-
Kinds of testing or validation
-
Practical difficulties (in the application area)
-
Technical difficulties, e.g., state explosion, heterogeneity, etc.
-
Particular approaches, i.e., methods tools and whether or not they are linked to other areas such as formal verification, simulation, abstract interpretation, etc.
-
Current state of advancement and uptake (conceptual, implemented, industrial product, etc.)
All seven papers present methods, tools, and case studies that aim at using diverse formal techniques for testing complex systems.
Similar content being viewed by others
References
Jard C, Jéron T (2005) TGV: Theory, principles, and algorithms. Int J Softw Tools Technol Transfer, this volume
Viho C (2005) Test distribution: a solution for complex network system testing. Int J Softw Tools Technol Transfer, this volume
Baldini A, Benso A, Prinetto P (2005) System level functional testing from UML specifications in end-of-production industrial environments. Int J Softw Tools Technol Transfer, this volume
Bunker A, Gopalakrishnan G, Slind K (2005) Live sequence charts applied to hardware requirements specification and verification. Int J Softw Tools Technol Transfer, this volume
Schieferdecker I, Din G, Apostolidis D (2005) Distributed functional and load tests for Web services. Int J Softw Tools Technol Transfer, this volume
Turner KJ (2005) Test generation for radiotherapy accelerators. Int J Softw Tools Technol Transfer, this volume
Kellerer B, Reitenspieß M (2005) Practical Quality Assurance for Standards-Based, High-Availability Middleware. Int J Softw Tools Technol Transfer, this volume
ISoLA 2004 (2004) 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, 30 October–2 November 2004. http://sttt.cs.uni-dortmund.de/isola2004
EST 2004 (2004) 1st IEEE Electronic System Testing workshop, Charlotte, NC, 28–29 October 2004. http://www.itctestweek.org
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Margaria, T. Introductory paper. Int J Softw Tools Technol Transfer 7, 293–296 (2005). https://doi.org/10.1007/s10009-005-0197-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-005-0197-6