View article

Designing test cases for remote asynchronous testing is error-prone. This is due to the difficulty to foresee all the disorders on the observations collected by the tester as well as the possible collisions between stimuli and observations. Designing correct synchronous test cases is easier, but transforming,them into correct asynchronous ones is a difficult task. Moreover, it is difficult to compare remote testing and local testing as in general sets of conformant implementations are not comparable.

In this paper, we prove that by the use of logical stamps, remote testing can gain the same power as local testing: the conformant implementations in an asynchronous environment are exactly the same ones as in a synchronous environment. We give an operational method to derive the correct test cases for remote testing with this testing power. Furthermore, we show that test cases designed for a synchronous …