An implementation relation and test framework for timed distributed systems

Abstract : Many systems interact with their environment at physically distributed interfaces and the distributed nature of any observations made is known to complicate testing. This paper concerns distributed testing, where a separate tester is placed at each localised interface and may only observe what happens at this interface. Most previous work on distributed model based testing has used models that are either finite state machines or input output transition systems. In this paper we define a framework for distributed testing from timed input output transition systems along with corresponding test hypotheses and a distributed conformance relation.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01810746
Contributor : Christophe Gaston <>
Submitted on : Friday, June 8, 2018 - 10:51:42 AM
Last modification on : Friday, February 15, 2019 - 6:18:04 PM
Long-term archiving on : Sunday, September 9, 2018 - 3:40:50 PM

File

ICTSS2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-01810746, version 1

Collections

CEA | DRT | EC-PARIS | LIST | MAS | MICS

Citation

Christophe Gaston, Robert Hierons, Pascale Le Gall. An implementation relation and test framework for timed distributed systems. International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey. ⟨cea-01810746⟩

Share

Metrics

Record views

100

Files downloads

91