Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A protocol test generation procedure
Computer Networks and ISDN Systems
Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Compiling Real-Time Specifications into Extended Automata
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Theoretical Computer Science
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
On the development of conformance test suites in view of their fault coverage
On the development of conformance test suites in view of their fault coverage
Theoretical Computer Science
IEEE Transactions on Software Engineering
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
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Decidability of Bisimulation Equivalences for Parallel Timer Processes
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
On Test Coverage Metrics for Communication Protocols
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
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
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
Test Generation in the Presence of Conflicting Timers
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
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
Time Abstracted Bisimiulation: Implicit Specifications and Decidability
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
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
Reducing the number of clock variables of timed automata
RTSS '96 Proceedings of the 17th 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)
Using mappings to prove timing properties
Distributed Computing
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Distributed testing without encountering controllability and observability problems
Information Processing Letters
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Towards Deriving Test Sequences by Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
An incremental method for testing timed input output automata
TELE-INFO'08 Proceedings of the 7th WSEAS International Conference on Telecommunications and Informatics
Specification of Timed EFSM Fault Models in SDL
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Fault masking by multiple timing faults in timed EFSM models
Computer Networks: The International Journal of Computer and Telecommunications Networking
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Testing Timed Finite State Machines with Guaranteed Fault Coverage
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing finite state machines presenting stochastic time and timeouts
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Synthesis of distinguishing test cases for timed finite state machines
Programming and Computing Software
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Using TIMEDTTCN-3 in interoperability testing for real-time communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Timed i/o test sequences for discrete event model verification
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Timing fault models for systems with multiple timers
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Fault detection of hierarchical networks with probabilistic testing algorithms
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Conformance testing relations for timed systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
A practical approach for testing timed deterministic finite state machines with single clock
Science of Computer Programming
| Hi-index | 0.00 |
Real-time systems interact with their environment using time constrained input/output signals. Examples of real-time systems include patient monitoring systems, air traffic control systems, and telecommunication systems. For such systems, a functional misbehavior or a deviation from the specified time constraints may have catastrophic consequences. Therefore, ensuring the correctness of real-time systems becomes necessary. Two different techniques are usually used to cope with the correctness of a software system prior to its deployment, namely, verification and testing. In this paper, we address the issue of testing real-time software systems specified as a Timed Input Output Automaton (TIOA). TIOA is a variant of timed automaton.We introduce the syntax and semantics of TIOA. We present the potential faults that can be encountered in a timed system implementation. We study these different faults based on TIOA model and look at their effects on the execution of the system using the region graph. We present a method for generating timed test cases. This method is based on a state characterization technique and consists of the following three steps: First, we sample the region graph using a suitable granularity, in order to construct a subautomaton easily testable, called Grid Automaton. Then, we transform the Grid Automaton into a Nondeterministic Timed Finite State Machine (NTFSM). Finally, we adapt the Generalized Wp-method to generate timed test cases from NTFSM. We assess the fault coverage of our test cases generation method and prove its ability to detect all the possible faults. Throughout the paper, we use examples to illustrate the various concepts and techniques used in our approach.