An approach for testing asynchronous communciating systems

摘要

This paper studies the problem of testing ocncurrent systms as blackboxes described in aynchronous Communicating finite State Machines.We present an approach to derive test cases in a succinct and formal way for the concurrent systems.The approach avoids the state space explosion problem by introducifng a causality relation model to express true concurrency.A new test architecture for executing the test suite is also described.