Test-Based Diagnosis of Faults in Data Exchange Addressing in Computer Systems Using Parallel Model

Аннотация

Test-based diagnosis of an arbitrary real-time computer system represented by a set of functionally related software modules executed on a single computer or concurrently on a set of computers is considered. The approach called diagnosis using a parallel model is used. An efficient procedure for test generation is proposed.