An automatic trace analysis tool generator for Estelle specifications
- 1 October 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
- Vol. 25 (4) , 175-184
- https://doi.org/10.1145/217391.217428
Abstract
This paper describes the development of Tango, an automatic generator of backtracking trace analysis tools for single-process specifications written in the formal description language, Estelle. A tool generated by Tango automatically checks the validity of any execution trace against the given specification, and supports a number of checking options. The approach taken was to modify an Estelle-to-C++ compiler. Discussion about nondeterministic specifications, multiple observation points, and on-line trace analysis follow. Trace analyzers for the protocols LAPD and TP0 have been tested and performance results are evaluated. Issues in the analysis of partial traces are also discussed.Keywords
This publication has 5 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- The CCITT-specification and description language SDLComputer Networks and ISDN Systems, 1989
- Trace specifications: methodology and modelsIEEE Transactions on Software Engineering, 1988
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- An approach to testing specificationsJournal of Systems and Software, 1983