Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Theoretical Computer Science
Real-time system = discrete system + clock variables
Theories and experiences for real-time system development
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Designing tests for time dependent systems
ICCC '95 Proceedings of the 12th international conference on computer communication on Information highways : for a smaller world and better living: for a smaller world and better living
Theoretical Computer Science
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Verifying ET-LOTOS programmes with KRONOS
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
The Observational Power of Clocks
CONCUR '94 Proceedings of the Concurrency Theory
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Generating Test Cases for a Timed I/O Automaton Model
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Proceedings of the Real-Time: Theory in Practice, REX Workshop
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
Testing timed systems with timed purposes
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Two examples of verification of multirate timed automata with Kronos
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 Testing of Reactive Systems
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)
Integration of Time in Canonical Testers for Real-Time Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A Realistic Architecture for Timed Testing
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
In protocol engineering area, conformance testing is a very important step. It tries to detect remaining errors after the verification step. The addition of time in system modeling, makes this step more complicated. This paper aims to give an overview on techniques for conformance testing of timed systems. It first describes some important models used to specify timed systems. Then, it shows the main techniques used for testing such systems. It will focus on two specific techniques. The first one is based on the extraction of a reduced number of test sequences, guided by a property required by any designer (called a test purpose). The second technique is based on the identification of some states on the implementation. The paper also shows how to experiment those test sequences on a real implementation and how to consider time in such an architecture.