Research Of Inspecting Techniques On Invalid Arithmetic Fault

With the popularization of software, how to improve the safety of safety critical software is becoming an important problem. Invalid arithmetic operations is a common kind of serious fault which can break down the computer system, we can improve the performance and safety through reducing the occurrence of invalid arithmetic operations, So how to locate these operations is becoming a kind of hotspots in area of fault diagnosis in nowadays. Through the research, many methods and techniques have been proposed for fault diagnosis, static method of source codes and fault tree analysis play very important role in these methods. Static method of source codes is used to find out those sentences which may have fault, fault tree analysis is good at finding out the reason why these faults happen. So how to integrate these two methods to get good result in fault diagnosis is a problem that needed to research.In this issue, we combine these two methods together to find out faults. It is thought that static method of source codes and fault tree analysis should be two phases in fault diagnosis. We can use the output of static method of source codes as input of fault tree analysis. So we can locate the position of fault, also we can use fault tree to get the original reason that why this fault happen, then we combine the fault tree analysis and range competition to make a better method which suits the construction for invalid arithmetic of fault tree . The main content of this issue is listed as below:1. we put forward a method that make static method of source codes and fault tree analysis work together to locate the invalid arithmetic fault and find why this fault happens, they are thought to be two phases in the whole process, the output of static method of source codes is used as the input of fault tree analysis, the output of fault tree analysis is the reason why these faults happen;2. describe the way that how the static method of source codes is used in fault diagnosis of invalid arithmetic operations, then the fault model of invalid arithmetic operations in C/C++ programming languages would be given, at the meanwhile we describe how to get the invalid arithmetic information in the abstract syntax tree, design the data structure of variable table, the format as the output of the static method of source codes will be given;3. on the basis of invalid arithmetic information which through static analyzing and traditional method of constructing fault tree, we combine the judgment of invalid arithmetic to construct the fault tree of invalid arithmetic, then we use interval arithmetic to incorporate some fault trees that fit some situations;4. on the basis of the minimal cut sets of invalid arithmetic fault tree, we use the variable constraint and interval arithmetic to find out the reason why these faults happen.