Test result analysis and validation of test verdicts
Gregor von Bochmann, D. Desbiens, Martin Dubuc, Daniel Ouimet · 1999
Formal description techniques (FDT's) are useful in the protocol development cycle, particulary in the conformance testing area. In this paper, we present TETRA, a test and trace analysis tool based on the LOTOS FDT which can be used to automatically compare the specified verdicts of a conformance test case with a protocol specification, or to analyse results of a test run with the reference specification. We also describe our experience with this tool for the validation of a X.25 TTCN test suite and for the testing of an ACSE implementation. 1. Introduction In recent years, ISO and CCITT have developed various languages for the description of communication protocols and services [Boch 90g]. On the one hand, so-called formal description techniques (FDT's) [Este 89, Loto 89, SDL 87] are intended for writing formal specifications for the OSI protocols and services to be used during the protocol development process [Boch 87c]. On the other hand, semi-formal methods, such as ASN.1 [ASN1],...