System-level fault modeling and test pattern generation with process algebras

The increasing complexity of systems is challenging designers with new issues, such as description, validation, verification, and testing at system level. This paper advocates the use of process algebras as a mathematically sound formalism to describe, validate, verify, and generate test patterns at system level. Its main contribution is twofold: the definition of a general-purpose fault model of faulty communications between fault-free, concurrently evolving processes; and the implementation of an automatic test pattern generation procedure, as a variant of the weak bisimulation algorithm, normally used to prove the observational equivalence of processes. Two examples are provided to support the claim for validity