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 (SUT) that may lead to interleaving of inputs and outputs. This affects the generation of inputs for the SUT 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 ∆-testability criterion for the requirement model where ∆ describes the communication latency. The test case eneration 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 SUT. The objective of the game corresponds to a test purpose.
Type de document :
Communication dans un congrès
25th IFIP International Conference on Testing Software and Systems ICTSS'13, Nov 2013, Istanbul, Turkey. Springer, 8254, pp.65-81, 2013, LNCS
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00933980
Contributeur : Antoine Rollet <>
Soumis le : mardi 21 janvier 2014 - 14:09:44
Dernière modification le : mardi 24 avril 2018 - 16:16:02
Document(s) archivé(s) le : mardi 22 avril 2014 - 09:55:18

Fichier

ictss13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00933980, version 1

Collections

Citation

Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Omer Landry Nguena Timo, Antoine Rollet. Remote testing of timed specifications. 25th IFIP International Conference on Testing Software and Systems ICTSS'13, Nov 2013, Istanbul, Turkey. Springer, 8254, pp.65-81, 2013, LNCS. 〈hal-00933980〉

Partager

Métriques

Consultations de la notice

252

Téléchargements de fichiers

91