TPLan-A Notation for Expressing Test Purposes

To this day test purposes are predominately defined in practice using natural language. This paper describes a more formal approach based on a notation which has been recently developed and standardized at the European Telecommunications Standards Institute (ETSI) called TPLan. We introduce here the motivation and main concepts behind this new notation, and share our experiences gathered from its application in the development of standardized test specifications. We also discuss how TPLan can help to make test development as a whole more efficient - especially in the context of suite based test specification.

[1]  Colin Willcock,et al.  An Introduction to TTCN-3 , 2005 .

[2]  Alan Hartman,et al.  The AGEDIS tools for model based testing , 2004, ISSTA '04.

[3]  Jens Grabowski,et al.  Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing , 2004, TestCom.

[4]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[5]  Katalin Tarnay,et al.  Testing of Communicating Systems , 1999, IFIP — The International Federation for Information Processing.

[6]  César Viho,et al.  Formalizing interoperability for test case generation purpose , 2009, International Journal on Software Tools for Technology Transfer.

[7]  Telecommunications and Internet Protocol Harmonization Over Networks ( TIPHON ) Release 4 ; Interoperability test methods and approaches ; Part 1 : Generic approach to interoperability testing , .

[8]  Anthony Wiles,et al.  Experience within ETSI of the combined roles of conformance testing and interoperability testing , 2003, ESSDERC 2003. Proceedings of the 33rd European Solid-State Device Research - ESSDERC '03 (IEEE Cat. No. 03EX704).

[9]  Allan Clark,et al.  Semantic-Based Development of Service-Oriented Systems , 2006, FORTE.

[10]  Stephan Tobies,et al.  Formal Test Purposes and the Validity of Test Cases , 2002, FORTE.

[11]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[12]  Stephen E. Deering,et al.  Internet Protocol, Version 6 (IPv6) Specification , 1995, RFC.

[13]  Jon Postel,et al.  Internet Protocol , 1981, RFC.