The publication, which will serve as a definitive textbook on the subject, enables readers to understand existing test documents, especially test suites, and aims to assist them in producing their own documents.
The Static Parts. Conventional TTCN and Concurrent TTCN. TTCN.GR and TTCN.MP. TTCN Test Suites. Definitions and Declarations. Constraints. TTCN
Behavior Descriptions. Fundamentals of Test Case Behavior Description. Behavior Tables. Psuedo-Events. Event Behavior Lines. Constructs and Defaults. Verdicts. Global Aspects of Test Suite Execution. Questions of TTCN Style. PCO Problems. Test Documents for an Example Protocol. The EXPRO Protocol. EXPRO Test Suite Structure and Test Purposes. The EXPRO PICS. A PIXIT for EXATS. The EXPRO Abstract Test Suite EXATS. Annex A: The BNF Rules for TTCN. Annex B: An Overview of Test Tools. Annex C: List of Abbreviations. References. Index.