Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Test Generation from LOTOS Specifications
IEEE Transactions on Computers - Special issue on protocol engineering
Towards execution of TTCN test cases
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Object state testing and fault analysis for reliable software systems
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Advancing Radio Testing Methodology via Formal Notations
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |
The authors describe a unifying, common intermediate model that lets Lotos specifications and TTCN test suites be translated into extended finite-state machines, providing a single medium for conformance testing. The paper covers specifying a protocol in Lotos, specifying test suites in TTCN, translating specifications to CIM, and the generation, verification, selection, parametrization, and execution of tests.