Online On-the-Fly Testing of Real-time Systems

Forfattere

  • Marius Mikucionis
  • Kim G. Larsen
  • Brian Nielsen

DOI:

https://doi.org/10.7146/brics.v10i49.21821

Resumé

In 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.

Downloads

Publiceret

2003-12-07

Citation/Eksport

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