Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Reconstructing Timed Symbolic ...

Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction

Junaid Iqbal, Dragos Truscan, Juri Vain, Ivan Porres, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: George Angelos Papadopoulos, Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 6:1–6:10, ACM, 2017.

http://dx.doi.org/10.1145/3123779.3123813

Abstract:

As of today, model-based testing is considered as a leading-edge technology in the IT industry. In model-based testing, an implementation under test is tested for compliance with a model that describes the required behaviour of the implementation. Uppaal Tron is a popular tool for online model-based conformance testing of real-time systems; it uses the Uppaal verification engine to generate and convert on-the-fly timed symbolic traces into concrete test sequences. Among the advantages of online testing is the reduction of the symbolic state space needed for computing traces, better addressing non-determinism, as well as the possibility to execute longer-lasting test runs. However, analysing and debugging long test runs can be tedious and time-consuming especially when analysing root causes of failed tests. In game theory, backward-induction is a process to reason backwards in time, from the end of a problem or situation, in order to determine a sequence of optimal actions. In this paper, we propose an approach to reconstruct symbolic traces from test sequences generated by Uppaal Tron using backward-induction. The resulting symbolic traces can be imported in the Uppaal tool and visualised in the Uppaal simulator. The evaluation of the implementation of the approach shows that it has the potential to satisfy the needs of industrial level testing.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpIqTrVaPo17a,
  title = {Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction},
  booktitle = {Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems},
  author = {Iqbal, Junaid and Truscan, Dragos and Vain, Juri and Porres, Ivan},
  editor = {Papadopoulos, George Angelos and Rysavy, Ondrej and Vranić, Valentino},
  publisher = {ACM},
  pages = {6:1–6:10},
  year = {2017},
  keywords = {rtioco-based timed test sequences, backward-induction, diagnostic traces, game theory, timed automata, timed symbolic traces, uppaal model-checker, uppaal tron},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Edit publication