Theoretical Computer Science
Test generation with respect to distributed interfaces
Computer Standards & Interfaces
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
An efficient state space generation for analysis of real-time systems
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
IEEE Transactions on Software Engineering
Protocol Synthesis for Real-Time Applications
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
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
Minimization of Timed Transition Systems
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
An Efficient Algorithm for Minimizing Real-time Transition Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Analysis of Timed Systems Based on Time-Abstracting Bisimulation
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Testing Non-Deterministic State Machines with Fault Coverage
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
An Approach for Testing Real Time Protocol Entities
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Fault Coverage in Testing Real-Time Systems
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
A new method for testing real time systems
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
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)
Test Generation for Time Critical Systems: Tool and Case Study
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Complete Test Graph Synthesis For Symbolic Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A New Method for Transforming Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Test generation for duration systems
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |
The aim of conformance testing is to check whether an implementation conforms to a specification. We consider the case where the specification contains timing constraints and is described by a model called Timed Automata (TA). The state space of a TA can be infinite due to the infinite number of time values. In a recent work, we proposed a method to finitely represent the state space. The proposed method transforms a TA into an equivalent finite state automaton using two special types of events, Set and Exp, and denoted se-FSA.In the present article, we propose a conformance testing method which is applicable when the specification is described by a TA. First, we use the above-mentioned transformation procedure for representing the specification by a se-FSA. Second, we propose a procedure for generating test sequences from the se-FSA describing the specification. And third, we propose a simple architecture for executing the generated test sequences.