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
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
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
Hi-index | 0.00 |
In this article, we present a framework for testing real-time systems. More precisely, (1) we propose a method for generating test sequences, (2) we determine constraints which guarantee the executability of test sequences, and (3) we propose a procedure and a test architecture for executing test sequences. Contrary to other test methods for real-time systems, our method avoids state explosion.