\input zb-basic
\input zb-ioport
\iteman{io-port 02013784}
\itemau{Hallal, Hesham; Boroday, Sergiy; Ulrich, Andreas; Petrenko, Alexandre}
\itemti{An automata-based approach to property testing in event traces.}
\itemso{Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 180-196 (2003).}
\itemab
Summary: 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.
\itemrv{~}
\itemcc{C.2.4 B.8.1 C.4 F.3.1 F.1.2}
\itemut{monitoring; passive testing; distributed traces; property checking; SDL}
\itemli{http://link.springer.de/link/service/series/0558/bibs/2644/26440180.htm}
\end