Abstract
Software defects are easy to cause when programming by C++ language, because of its features of flexibility and complexity, as well as its large number of undefined behaviors. According to "MISRA C++ 2008" safe subset, a method of software defects mining is raised based on static analysis technology. Source files can be converted into XML intermediate files, while rules in safe subset are expressed by XQuery expressions. And then match each rule to XML intermediate files to find the location of defects in source files. The experimental result of the prototype system shows that the software defects conflicting to safety rules can be mined effectively with low false alarm rate and low false negative rate. © 2012 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Lai, X., Zhou, K., Li, L., Tang, L., Yao, Y., & Yu, L. (2012). A method of software defects mining based on static analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7345 LNAI, pp. 794–807). https://doi.org/10.1007/978-3-642-31087-4_80
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
