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
Documentation Driven Development for Complex Real-Time Systems
IEEE Transactions on Software Engineering
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Test case minimization for real-time systems using timed bound traces
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A test generation framework for quiescent real-time systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing communicating systems: a model, a methodology, and a tool
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 |
We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from specifications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical specification formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (ACSR) for representing tests and process models. The use of ACSR to describe test sequences has two main advantages. First, tests can be applied to an ACSR model of the software system within the ACSR semantic framework for model validation purposes. Second, ACSR has concise notation and a precise semantics that will facilitate the translation of real-time tests into a software test language for software validation purposes. The major benefit of our approach is that it can be used to validate a design specification which has too many states for exhaustive state space exploration based analysis. As an illustration of this benefit, we describe the case study of using the automatic derivation of tests from timing specifications for the analysis of the Philips Audio Control Protocol.