05383840

j

05383840 Jard, Claude Distributed executions: Detection of behaviour properties. (Observation d'ex\{\"\i}ecutions r\{\"\i}eparties: D\{\"\i}etection de propri\{\"\i}et\{\"\i}es d'ordonnancement.) RAIRO, Tech. Sci. Inf. 16, No. 2, 225-241 (1997). 1997 \'Editions HERMES, Paris EN C.2.2 C.2.4 C.3 D.2.4 D.2.5 distributed systems network protocol diagnosis observation causality verification Summary: Testing is one of the major problems on developing communication software. It becomes a very challenging task when considering "interoperability testing". In that context, one must decide the correctness of distributed behaviours: given a global property involving different protocol entities, the problem is to design testers able to decide whether the system conforms or not with property. We show the interest to track the causal dependencies occuring between the observable actions of the system, and propose some general methods to detect on-the-fly the violation of global properties of distributed executions. (Provider: Leibiger)