Remote Testing of Timed Specifications

Alexandre David; Kim Guldstrand Larsen; Marius Mikucionis; Omer Nguena-Timo; Antoine Rollet

doi:10.1007/978-3-642-41707-8_5

Remote Testing of Timed Specifications

Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

7 Citations (Scopus)

Abstract

We present a study and a testing framework on black box remote testing of real-time systems using UPPAAL TIGA. One of the essential challenges of remote testing is the communication latency between the Tester and the System Under Test (IUT) that may lead to interleaving of inputs and outputs. This affects the generation of inputs for the IUT and the observation of outputs that may trigger a wrong test verdict. We model the overall test setup using Timed Input-Output Automata (TIOA) and present an adapted asynchronous semantics with explicit communication delays. We propose the Delta-testability criterion for the requirement model where Delta describes the communication latency. The test case generation problem is then reduced into a controller synthesis problem. We use UPPAAL TIGA for this purpose to solve a timed game with partial observability between the tester and the communication media together with the IUT. The objective of the game corresponds to a test purpose.

Original language	English
Title of host publication	ICTSS : Testing Software and Systems - 25th IFIP WG 6.1 International Conference
Editors	Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Number of pages	16
Volume	8254
Place of Publication	Istanbul, Turkey
Publisher	Springer Publishing Company
Publication date	13 Nov 2013
Pages	65-81
Article number	5
ISBN (Print)	978-3-642-41706-1
DOIs	https://doi.org/10.1007/978-3-642-41707-8_5
Publication status	Published - 13 Nov 2013
Event	25th IFIP WG 6.1 International Conference: Testing software and systems - Istanbul, Turkey Duration: 13 Nov 2013 → 15 Nov 2013 Conference number: 25th

Conference

Conference	25th IFIP WG 6.1 International Conference
Number	25th
Country/Territory	Turkey
City	Istanbul
Period	13/11/2013 → 15/11/2013

Series	Lecture Notes in Computer Science (LNCS)
Volume	8254
ISSN	0302-9743

Bibliographical note

This work has been partially supported by the French research project ANR VACSIM and EU project MBAT.

Keywords

Model-Based Testing
Timed Game Automata (TGAs)
UPPAAL
Remote Testing

Access to Document

10.1007/978-3-642-41707-8_5

http://dx.doi.org/10.1007/978-3-642-41707-8_5

AUB Link

Search for the material in Aalborg University Library's search engine

MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
Artemis JU
01/11/2011 → 31/10/2014
Project: Research

Cite this

David, Alexandre ; Larsen, Kim Guldstrand ; Mikucionis, Marius et al. / Remote Testing of Timed Specifications. ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. editor / Hüsnü Yenigün ; Cemal Yilmaz ; Andreas Ulrich. Vol. 8254 Istanbul, Turkey : Springer Publishing Company, 2013. pp. 65-81 (Lecture Notes in Computer Science (LNCS), Vol. 8254).

@inproceedings{60fc02f40ffb4c34bbb96d22a4255b37,

title = "Remote Testing of Timed Specifications",

abstract = "We present a study and a testing framework on black box remote testing of real-time systems using UPPAAL TIGA. One of the essential challenges of remote testing is the communication latency between the Tester and the System Under Test (IUT) that may lead to interleaving of inputs and outputs. This affects the generation of inputs for the IUT and the observation of outputs that may trigger a wrong test verdict. We model the overall test setup using Timed Input-Output Automata (TIOA) and present an adapted asynchronous semantics with explicit communication delays. We propose the Delta-testability criterion for the requirement model where Delta describes the communication latency. The test case generation problem is then reduced into a controller synthesis problem. We use UPPAAL TIGA for this purpose to solve a timed game with partial observability between the tester and the communication media together with the IUT. The objective of the game corresponds to a test purpose.",

keywords = "Model-Based Testing, Timed Game Automata (TGAs), UPPAAL, Remote Testing",

author = "Alexandre David and Larsen, {Kim Guldstrand} and Marius Mikucionis and Omer Nguena-Timo and Antoine Rollet",

note = "This work has been partially supported by the French research project ANR VACSIM and EU project MBAT.; 25th IFIP WG 6.1 International Conference ; Conference date: 13-11-2013 Through 15-11-2013",

year = "2013",

month = nov,

day = "13",

doi = "10.1007/978-3-642-41707-8_5",

language = "English",

isbn = "978-3-642-41706-1",

volume = "8254",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer Publishing Company",

pages = "65--81",

editor = "H{\"u}sn{\"u} Yenig{\"u}n and Cemal Yilmaz and Andreas Ulrich",

booktitle = "ICTSS",

address = "United States",

}

David, A, Larsen, KG , Mikucionis, M, Nguena-Timo, O & Rollet, A 2013, Remote Testing of Timed Specifications. in H Yenigün, C Yilmaz & A Ulrich (eds), ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. vol. 8254, 5, Springer Publishing Company, Istanbul, Turkey, Lecture Notes in Computer Science (LNCS), vol. 8254, pp. 65-81, 25th IFIP WG 6.1 International Conference, Istanbul, Turkey, 13/11/2013. https://doi.org/10.1007/978-3-642-41707-8_5

Remote Testing of Timed Specifications. / David, Alexandre; Larsen, Kim Guldstrand ; Mikucionis, Marius et al.
ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. ed. / Hüsnü Yenigün; Cemal Yilmaz; Andreas Ulrich. Vol. 8254 Istanbul, Turkey: Springer Publishing Company, 2013. p. 65-81 5 (Lecture Notes in Computer Science (LNCS), Vol. 8254).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Remote Testing of Timed Specifications

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Mikucionis, Marius

AU - Nguena-Timo, Omer

AU - Rollet, Antoine

N1 - Conference code: 25th

PY - 2013/11/13

Y1 - 2013/11/13

N2 - We present a study and a testing framework on black box remote testing of real-time systems using UPPAAL TIGA. One of the essential challenges of remote testing is the communication latency between the Tester and the System Under Test (IUT) that may lead to interleaving of inputs and outputs. This affects the generation of inputs for the IUT and the observation of outputs that may trigger a wrong test verdict. We model the overall test setup using Timed Input-Output Automata (TIOA) and present an adapted asynchronous semantics with explicit communication delays. We propose the Delta-testability criterion for the requirement model where Delta describes the communication latency. The test case generation problem is then reduced into a controller synthesis problem. We use UPPAAL TIGA for this purpose to solve a timed game with partial observability between the tester and the communication media together with the IUT. The objective of the game corresponds to a test purpose.

AB - We present a study and a testing framework on black box remote testing of real-time systems using UPPAAL TIGA. One of the essential challenges of remote testing is the communication latency between the Tester and the System Under Test (IUT) that may lead to interleaving of inputs and outputs. This affects the generation of inputs for the IUT and the observation of outputs that may trigger a wrong test verdict. We model the overall test setup using Timed Input-Output Automata (TIOA) and present an adapted asynchronous semantics with explicit communication delays. We propose the Delta-testability criterion for the requirement model where Delta describes the communication latency. The test case generation problem is then reduced into a controller synthesis problem. We use UPPAAL TIGA for this purpose to solve a timed game with partial observability between the tester and the communication media together with the IUT. The objective of the game corresponds to a test purpose.

KW - Model-Based Testing

KW - Timed Game Automata (TGAs)

KW - UPPAAL

KW - Remote Testing

U2 - 10.1007/978-3-642-41707-8_5

DO - 10.1007/978-3-642-41707-8_5

M3 - Article in proceeding

SN - 978-3-642-41706-1

VL - 8254

T3 - Lecture Notes in Computer Science (LNCS)

SP - 65

EP - 81

BT - ICTSS

A2 - Yenigün, Hüsnü

A2 - Yilmaz, Cemal

A2 - Ulrich, Andreas

PB - Springer Publishing Company

CY - Istanbul, Turkey

T2 - 25th IFIP WG 6.1 International Conference

Y2 - 13 November 2013 through 15 November 2013

ER -

David A, Larsen KG , Mikucionis M, Nguena-Timo O, Rollet A. Remote Testing of Timed Specifications. In Yenigün H, Yilmaz C, Ulrich A, editors, ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. Vol. 8254. Istanbul, Turkey: Springer Publishing Company. 2013. p. 65-81. 5. (Lecture Notes in Computer Science (LNCS), Vol. 8254). doi: 10.1007/978-3-642-41707-8_5

Remote Testing of Timed Specifications

Abstract

Conference

Bibliographical note

Keywords

Access to Document

AUB Link

Fingerprint

Projects

MBAT: Model-based Analysis and Testing of Embedded Systems

Cite this