Online On-the-Fly Testing of Real-time Systems
AbstractIn this paper we present a framework, an algorithm and a new tool for online testing of real-time systems based on symbolic techniques used in UPPAAL model checker. We extend UPPAAL timed automata network model to a test specification which is used to generate test primitives and to check the correctness of system responses including the timing aspects. We use timed trace inclusion as a conformance relation between system and specification to draw a test verdict. The test generation and execution algorithm is implemented as an extension to UPPAAL and experiments carried out to examine the correctness and performance of the tool. The experiment results are promising.
How to Cite
Mikucionis, M., Larsen, K. G., & Nielsen, B. (2003). Online On-the-Fly Testing of Real-time Systems. BRICS Report Series, 10(49). https://doi.org/10.7146/brics.v10i49.21821
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.