Specification-based testing of concurrent systems
Andreas Ulrich, Hartmut König · 1997
The paper addresses the problem of test suite derivation from a formal specification of a distributed concurrent software system given as a collection of labeled transition systems. It presents a new concurrency model, called behavior machine , and its construction algorithm. Further, the paper outlines how test derivation can be based on the new concurrency model in order to derive test suites that still exhibit true concurrency between test events. A toolset is presented to support the generation of concurrent test suites from specifications given in the formal description technique LOTOS. Finally, some comments on requirements for the design of a distributed test architecture are given.