Abstract:Code inspection plays an important role in constructing the quality of software product,but inspection wastes time and human resource,and needs assistant with some automated tools. Data flow anomalies is that the variable is used incorrectly in the code,and it means that there are potential errors in the code. Data flow anomalies is an important type of defects in the check list which is used during inspection,and it is also mainly focus on during inspection. Based on a review of data flow anomalies,the defects that relates with data flow anomalies can be found before running the program,and effectively improve software quality and reduce the cost of solving the software problems. Data flow anomaly should be inspected carefully during inspection,this paper issues a method for intra-procedural data flow anomaly auto-detection basing on finite automaton.First,data flow and variables in a program are closely related,there are three different kinds of method to use a variable:define,refer and kill. When the variables are used incorrectly,there are six types of data flow anomaly.Second,when the data flow anomalies in a code fragment are auto-reviewed,the code is analyzed statically and the abstract syntax tree of the code can be got. After that,from the syntax tree,there are some different logical paths that are made up of the statements in the code fragment,some of which are using variable.Finally,a finite automaton (Mealy) with four different states that is used to represent how a variable on the logical path is used is build. The automaton's input is the method with that the statement uses variable on the logical path and its output is whether the data flow anomaly exists. The state of the automaton will transfer if there are some inputs,and by the transition of the states,intra-procedural data flow anomaly should be found.The method introduced in the paper is language independent,faces to inspection,and improves the efficiency of Data flow anomaly detection and code inspection.

Software Fault Tolerance and Fault Rectification Approach Based on Data Flow Abnormity Supervision

Fault Tolerant Real-Time Scheduling Strategy for NC System Based on Rollback Recovery

Study on Fault-Tolerant Based on Modular Method in the Development of Test and Control System Software

A Software Fault-Tolerant Method Based on Exception Handling in RT/E System

Software Fault-tolerant Technology Application in Video Supervision System

Data Flow Error Recovery with Checkpointing and Instruction-Level Fault Tolerance

An integration of fault detection and correction processes in software reliability analysis

Enhancing Software Reliability Against Soft Error Using Critical Data Model.

Software Fault Detection Based on Program Static Analysis and Fault Tree

Towards a Control-Theoretical Approach to Software Fault-Tolerance

A General Modeling and Analysis Framework for Software Fault Detection and Correction Process

An Approach for Analyzing Infrequent Software Faults Based on Outlier Detection

An imperfect software debugging model based on stochastic differential equation

Multi-channel data flow software fault detection for social internet of things with system assurance concerns

Modeling of software fault detection and correction processes with fault dependency

Software Fault Localization Based on Data Chain

Failure Analysis of Static Analysis Software Module Based on Big Data Tendency Prediction.

An Approach of Automatically Performing Fault Tree Analysis and Failure Mode and Effect Techniques to Software Processes

Key Scientific Issues and State-Art of Automatic Software Fault Localization

A fault tree analysis based software system reliability allocation using genetic algorithm optimization

A method for intra-procedural data flow anomaly auto-detection facing to inspection