Skip to main content
Log in

Introductory paper

  • Special section on high-level test of complex systems
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Jard C, Jéron T (2005) TGV: Theory, principles, and algorithms. Int J Softw Tools Technol Transfer, this volume

  2. Viho C (2005) Test distribution: a solution for complex network system testing. Int J Softw Tools Technol Transfer, this volume

    Google Scholar 

  3. 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

  4. 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

  5. Schieferdecker I, Din G, Apostolidis D (2005) Distributed functional and load tests for Web services. Int J Softw Tools Technol Transfer, this volume

  6. Turner KJ (2005) Test generation for radiotherapy accelerators. Int J Softw Tools Technol Transfer, this volume

  7. Kellerer B, Reitenspieß M (2005) Practical Quality Assurance for Standards-Based, High-Availability Middleware. Int J Softw Tools Technol Transfer, this volume

  8. 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

  9. EST 2004 (2004) 1st IEEE Electronic System Testing workshop, Charlotte, NC, 28–29 October 2004. http://www.itctestweek.org

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tiziana Margaria.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-005-0197-6

Keywords

Navigation