Checking unstable properties in distributed testing of communication protocols

摘要

Protocol testing is a run-time activity and we cna only hop to detect valid or invalid beahviors in an actual execution fo a protocll implementation embedded in a tsting environment.In this pape rwe focu our attention in the validation of dynmaic unstable propeteis during the testing proces sand afterwards,duirn gnormal execution.Dynmic unstable properties define desirable or undesirable te4mproal evolutins of the behaivor of ta communciation protoco.We shall present a novel on-line distributed algorithm and the corresponding design principles that will improve the testing proces and the reliability of a protocol implmentation by checking unstable propetis in a distributed environment.