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

Junaid Iqbal; Dragos Truscan; Jüri Vain; Ivan Porres Paltor

doi:10.1145/3123779.3123813

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

Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres Paltor

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

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.

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
Publisher	ACM
Pages	–
ISBN (Print)	978-1-4503-4843-0
DOIs	https://doi.org/10.1145/3123779.3123813
Publication status	Published - 2017
MoE publication type	A4 Article in a conference publication
Event	European Conference on the Engineering of Computer-Based Systems, ECBS - Fifth European Conference on the Engineering of Computer-Based Systems, ECBS '17 Duration: 31 Aug 2017 → 1 Sept 2017

Conference

Conference	European Conference on the Engineering of Computer-Based Systems, ECBS
Period	31/08/17 → 01/09/17

Access to Document

10.1145/3123779.3123813

1 Finished

MegaM@Rt2: MegaModelling at Runtime
Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Co-Investigator), Porres Paltor, I. (Co-Investigator), Siavashi, F. (Co-Investigator) & Ashraf, A. (Co-Investigator)
European Commission
01/04/17 → 31/03/20
Project: EU

Cite this

@inproceedings{49b293b464ea48dbb54c46732fe202bd,

title = "Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction",

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.",

author = "Junaid Iqbal and Dragos Truscan and J{\"u}ri Vain and {Porres Paltor}, Ivan",

year = "2017",

doi = "10.1145/3123779.3123813",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4503-4843-0",

pages = "–",

booktitle = "Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems",

publisher = "ACM",

note = "European Conference on the Engineering of Computer-Based Systems, ECBS ; Conference date: 31-08-2017 Through 01-09-2017",

}

Iqbal, J , Truscan, D, Vain, J & Porres Paltor, I 2017, Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction. in Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. ACM, pp. –, European Conference on the Engineering of Computer-Based Systems, ECBS, 31/08/17. https://doi.org/10.1145/3123779.3123813

Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction. / Iqbal, Junaid ; Truscan, Dragos; Vain, Jüri et al.
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. ACM, 2017. p. –.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Iqbal, Junaid

AU - Truscan, Dragos

AU - Vain, Jüri

AU - Porres Paltor, Ivan

PY - 2017

Y1 - 2017

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

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

U2 - 10.1145/3123779.3123813

DO - 10.1145/3123779.3123813

M3 - Konferensbidrag

SN - 978-1-4503-4843-0

SP - –

BT - Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems

PB - ACM

T2 - European Conference on the Engineering of Computer-Based Systems, ECBS

Y2 - 31 August 2017 through 1 September 2017

ER -

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

Abstract

Conference

Access to Document

Projects

MegaM@Rt2: MegaModelling at Runtime

Cite this