An approach to testing distributed software systems

This paper studies the problem of testing distributed software systems consisting of concurrent units running over a network. We present an approach to derive a concurrent transition tour as a test suite from multi-module specifications described by a restricted class of CCS (calculus of communicating systems). The approach avoids the state space explosion problem by introducing a true concurrency model. A new distributed test architecture for executing the concurrent test suite is also described.