Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
A Method for Testing the Conformance of Real Time Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
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
Fault masking by multiple timing faults in timed EFSM models
Computer Networks: The International Journal of Computer and Telecommunications Networking
A multi-criteria decision making framework for real time model-based testing
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
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
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
Hi-index | 0.00 |
Real-time systems interact with their environment, through time constrained input/output events. The misbehavior of real-time systems is generally caused by the violation of the specified time constraints. Validation of real-time system software is an important quality control activity in the software lifecycle. Among the validation processes, testing aims at assessing the conformance of an implementation against the reference specification. One of the important aspects in testing real-time software systems is the fault coverage measurement, which consists of studying the potential faults that can be detected by a test suite generated by a given test generation method. This paper addresses the fault coverage of the Timed Wp-method we have introduced in [EDKE98]. We present a timed fault model based on the TIOA model for real-time systems specification. We study the fault coverage of the timed Wp-method with respect to our fault model.