The Testing and Test Control Notation TTCN‐3 and its Use
Ina Schieferdecker, Alain Vouffo-Feudjio · Formal Methods for Industrial Critical Systems · 2012
The testing and test control Notation TTCN-3 language was created due to the imperative necessity to have universally understood language syntax able to describe test behavior specifications. TTCN-3 enables systematic, specification-based testing for various kinds of tests including, for example, conformance, interoperability, regression, robustness, performance, and scalability testing. A test system can communicate with a system under test (SUT) synchronously or asynchronously. In this chapter, a small test specification in TTCN-3 is given in order to give an insight into this technology. The semantics of TTCN-3 is defined by an operational semantics, which defines the meaning of TTCN-3 behaviors in an intuitive and unambiguous manner. The chapter also describes different case studies that demonstrate the application of the TTCN-3 to test various target systems. Controlled Vocabulary Terms performance evaluation; programming languages