CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
A Well-Defined Estelle Specification for the Automatic Test Generation
IEEE Transactions on Computers - Special issue on protocol engineering
SDL with applications from protocol specification
SDL with applications from protocol specification
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
A new technique for generating protocol test
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Telecommunications Systems Engineering Using SDL
Telecommunications Systems Engineering Using SDL
Test derivation for SDL based on ACTs
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Application of stuck-free conformance to service-role composition
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
Hi-index | 0.00 |
The signal save construct is one of the features distinguishing SDL from traditional high-level specification and programming languages. However, this feature increases the difficulties of testing SDL-specified software. We present a testing approach consisting of the following three phases: SDL specifications are first abstracted into finite state machines with save constructs, called SDL-machines; the resulting SDL-machines are then transformed into equivalent finite state machines without save constructs if this is possible; and, finally, test cases are selected from the resulting finite state machines. Since there are many existing methods for the first and third phases, we mainly concentrate upon the second phase and come up with a method of transforming SDL-machines into equivalent finite state machines, which preserve the same input/output relationship as in the original SDL-machines. The transformation method is useful not only for testing but also for verifying SDL-specified software.