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 proceedingArticle in proceedingResearchpeer-review

7 Citations (Scopus)


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 languageEnglish
Title of host publicationICTSS : Testing Software and Systems - 25th IFIP WG 6.1 International Conference
EditorsHüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Number of pages16
Place of PublicationIstanbul, Turkey
PublisherSpringer Publishing Company
Publication date13 Nov 2013
Article number5
ISBN (Print)978-3-642-41706-1
Publication statusPublished - 13 Nov 2013
Event25th IFIP WG 6.1 International Conference: Testing software and systems - Istanbul, Turkey
Duration: 13 Nov 201315 Nov 2013
Conference number: 25th


Conference25th IFIP WG 6.1 International Conference
SeriesLecture Notes in Computer Science (LNCS)

Bibliographical note

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


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


Dive into the research topics of 'Remote Testing of Timed Specifications'. Together they form a unique fingerprint.

Cite this