A Testability Model Method Based on Three-State Fault Colored Generalized Stochastic Petri Nets

Abstract

Aiming at the problem of qualitative description of the relationship between faults and tests in existing testability models, it is difficult to carry out testability design work. A test modeling method based on three-state fault generalized stochastic colored Petri nets (CGSPN) is proposed. The “functional failure” state is regarded as the third state of the system in addition to the normal state and the fault state, which lays a foundation for the transformation of function space into fault space and gives the modeling method of the three-state fault CGSPN. A complete coding scheme is proposed to distinguish system failure modes. The accessibility algorithm helps to obtain the hierarchical correlation matrix. It is verified by examples that the proposed model can not only reduce the misleading of human subjective factors in the modeling process, but also effectively integrate the system's functional mode and failure mode. It also can describe the dynamic propagation process of the failure, which is of great significance to engineering practice. Finally, the comparison between the models validates the effectiveness of the proposed model.