%0 Conference Proceedings
%T Constraint-Based Oracles for Timed Distributed Systems
%+ Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
%+ Brunel University London [Uxbridge]
%+ Mathématiques et Informatique pour la Complexité et les Systèmes (MICS)
%A Benharrat, Nassim
%A Gaston, Christophe
%A Hierons, Robert, M.
%A Lapitre, Arnault
%A Gall, Pascale, Le
%Z Part 5: Testing Timed and Distributed Systems
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 29th IFIP International Conference on Testing Software and Systems (ICTSS)
%C St. Petersburg, Russia
%Y Nina Yevtushenko
%Y Ana Rosa Cavalli
%Y Hüsnü Yenigün
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-10533
%P 276-292
%8 2017-10-09
%D 2017
%R 10.1007/978-3-319-67549-7_17
%K Model-based testing
%K Distributed testing
%K Timed input output transition systems
%K Off-line testing
%K Constraint-based testing
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X This paper studies the situation in which the system under test and the system model are distributed and have the same structure; they have corresponding remote components that communicate asynchronously. In testing, a component with interface $$C_i$$ has its own local tester that interacts with $$C_i$$ and this local tester observes a local trace consisting of inputs, outputs and durations as perceived by $$C_i$$. An observation made in testing is thus a multi-trace: a tuple of (timed) local traces, one for each $$C_i$$. The conformance relation for such distributed systems combines a classical unitary conformance relation for localised components and the requirement that the communication policy was satisfied. By expressing the communication policy as a constraint satisfaction problem, we were able to implement the computation of test verdicts by orchestrating localised off-line testing algorithms and the verification of constraints defined by message passing between components. Lastly, we illustrate our approach on a telecommunications system.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01678964/document
%2 https://inria.hal.science/hal-01678964/file/449632_1_En_17_Chapter.pdf
%L hal-01678964
%U https://inria.hal.science/hal-01678964
%~ CEA
%~ IFIP-LNCS
%~ IFIP
%~ CENTRALESUPELEC
%~ DRT
%~ IFIP-TC
%~ MICS
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ UNIV-PARIS-SACLAY
%~ CENTRALESUPELEC-SACLAY
%~ IFIP-LNCS-10533
%~ LIST
%~ GS-ENGINEERING
%~ GS-COMPUTER-SCIENCE
%~ GS-SPORT-HUMAN-MOVEMENT