Checklist-Based Intelligent Human-Machine Pair Inspection

With the rapid development of computer technology, the scale of the software system is increasing, the quality of the software is getting more attention. Software inspection is a widely known practice of software quality assurance. However, most of the existing software inspection are handed over to other reviewers for inspection after the program is completed. In this paper, we study a process of software construction that machine can automatically and dynamically comprehend program and guide programmers to inspect the code in the current version of software as it is being constructed. The aim of the method is to use cyclomatic complexity to determine which function or method may have the most defects, and then use static analysis technology to extract its intermediate representation, and automatically generate the inspection syntax tree and the corresponding questions in checklist for programmer to inspect. We present an example to show how the method can be used and prove its accuracy and usefulness. The result shows that our method can be automatic and effective in assisting programmers to detect defects during programming.

With the rapid development of computer technology, the scale of the software system is increasing, the quality of the software is getting more attention. Software inspection is a widely known practice of software quality assurance. However, most of the existing software inspection are handed over to other reviewers for inspection after the program is completed. In this paper, we study a process of software construction that machine can automatically and dynamically comprehend program and guide programmers to inspect the code in the current version of software as it is being constructed. The aim of the method is to use cyclomatic complexity to determine which function or method may have the most defects, and then use static analysis technology to extract its intermediate representation, and automatically generate the inspection syntax tree and the corresponding questions in checklist for programmer to inspect. We present an example to show how the method can be used and prove its accuracy and usefulness. The result shows that our method can be automatic and effective in assisting programmers to detect defects during programming.