id: 05383840
dt: j
an: 05383840
au: Jard, Claude
ti: Distributed executions: Detection of behaviour properties. (Observation
    d’ex\ïecutions r\ïeparties: D\ïetection de propri\ïet\ïes
    d’ordonnancement.)
so: RAIRO, Tech. Sci. Inf. 16, No. 2, 225-241 (1997).
py: 1997
pu: Éditions HERMES, Paris
la: EN
cc: C.2.2 C.2.4 C.3 D.2.4 D.2.5
ut: distributed systems; network; protocol; diagnosis; observation; causality;
    verification
ci: 
li: 
ab: 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)
rv: