A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
Theoretical Computer Science
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
A Calculus of Communicating Systems
A Calculus of Communicating Systems
IEEE Transactions on Software Engineering
LOTOS-like Process Algebras with Urgent or Timed Interactions
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Characterizing and Ordering Errors Detected by Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
A Practical and Complete Algorithm for Testing Real-Time Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Compositional and symbolic model-checking of real-time systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Timed Test Cases Generation Based on State Characterization Technique
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Automatic generation of tests for timing constraints from requirements
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
On the Fly Test Generation for Real Time Protocols
IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Minimizing the cost of fault location when testing from a finite state machine
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Test generation for interworking systems
Computer Communications
A finite transition model for security protocol verification
Proceedings of the 6th International Conference on Security of Information and Networks
Using transition systems to model and verify the implementation of security protocol
Proceedings of the 6th International Conference on Security of Information and Networks
| Hi-index | 0.24 |
Real-time requirements appear in the specifications of new evolving systems such as multimedia applications or embedded systems. Testing is an experimental method aimed at checking the correctness of some implementation and its conformance to some standard specification. At present, standardization institutions are being interested in a formal framework for the development of real-time communications systems. Some ISO working groups are proposing formalisms to describe these systems, while other working groups are proposing formalisms to describe real-time test cases. But few works exist on conformance testing aspects, against time-dependencies that bridge the gap between the two previous activities. The contribution of this paper is the proposition of a complete method to the design of tests against real-time communications systems. The proposed method complies to the ITU-T Z500 standard on tests development and we show that the tests designed by our method are sound and exhaustive. The test construction process is also illustrated with an example of time-dependent protocol.