Research on Fault Tree Modeling and Analysis of Computer Aided Software Based on Mathematical Model
Hong Lei · 2022
Fault tree analysis is an effective method in process risk analysis, and computer-aided fault tree generation is particularly important. However, due to the limitations of its non formal method, it is difficult to formally verify software faults, and it is more difficult to describe the temporal logic relationship between events in embedded real-time system. This paper presents a new method of describing logic based on mathematical model of time series. Firstly, the temporal characteristics of fault tree are extended and specified by temporal description logic; Secondly, the software security attributes represented by description logic are extracted. Finally, the fault tree modeling of software testing is studied. The basic idea and method of modeling are proposed, the algorithm of minimum cut set of software test fault tree is given, and the fault tree model is analyzed qualitatively and quantitatively.