Application of partial ordering for detection of errors in concurrent systems

Application of a partial ordering model for construction of tests of concur rent systems is investigated. Fault models based on operational errors of t he concurrent system are considered. It is shown that tests that have been constructed from a model of a Mazurkiewicz trace machine are complete for t he fault models introduced here and an: substantially shorter than tests th at are obtained from a composite model, given the same fault model. Scenari os for test execution and the architecture of testers of concurrent systems are discussed.