Software Fault Detection Based on Program Static Analysis and Fault Tree

Software Fault Detection Based on Program Static Analysis and Fault Tree

연구 분야: Verification

학회: 2024 4th International Conference on Mobile Networks and Wireless Communications (ICMNWC)

In today's software systems, software failures may lead to serious catastrophic consequences. This paper proposes a comprehensive method based on program static analysis and fault trees to detect software defects. First, use program static analysis technology to analyze the source code syntax and semantics, extract control flow graphs (CFG) and data flow graphs (DFG), and build an accurate program model. Secondly, based on the functional requirements of the software, a fault tree model is established to represent the possible failure modes of the software in a hierarchical and structured manner. Then, the program model is combined with the fault tree model to use logical reasoning and path analysis to identify critical paths and failure points that may lead to system failure. Finally, tools are developed to test and verify actual software systems. The method based on program static analysis and fault tree is significantly better than the traditional dynamic testing method in fault detection, with an average coverage rate of 91.27%. The combination of program static analysis and fault tree methods has significant advantages in high-safety software fault detection.