Abstract | ||
---|---|---|
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that the model exactly characterizes the causality relation between the events in the observed trace. We present the implementation of this approach in SDL, where ObjectGEODE is used to verify properties, and illustrate the approach with an industrial case study. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/3-540-44830-6_14 | TestCom |
Keywords | Field | DocType |
property testing,event trace,observed trace,execution trace,automata-based approach,causality relation,industrial case study,distributed system,partial order | Specification language,Causality,Property testing,Model checking,Computer science,Automaton,Theoretical computer science,Communicating automata,Passive testing,Traceability | Conference |
Volume | ISSN | ISBN |
2644 | 0302-9743 | 3-540-40123-7 |
Citations | PageRank | References |
9 | 0.83 | 18 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hesham Hallal | 1 | 80 | 4.40 |
Sergiy Boroday | 2 | 294 | 14.03 |
Andreas Ulrich | 3 | 76 | 9.98 |
Alexandre Petrenko | 4 | 176 | 15.90 |