一种基于QAC和Klocwork软件的静态测试方法

摘要

In order to improve the quality and efficiency of software testing, more and more software testing tools are used to implement software testing automatically. Based on two software testing tools, QAC and Klocwork, this paper presents a static software testing method which can help improve the software quality. Firstly, this paper briefly introduces the two software testing tools, and describes the testing process of the two testing tools. Secondly, the characteristics of the two software testing tools are analyzed. And then, this paper points out the impact of this method on the software quality improvement. Finally, a practical example is given to demonstrate the performance of this method.%为了提高软件的测试质量和效率，在软件测试中越来越多的测试工具被应用进行软件自动化测试。文章提出了一种基于软件测试工具QAC和Klocwork对代码进行静态测试的方法。首先，文章简要地介绍了这2种软件测试工具，并阐述了它们的测试过程；之后，分析了它们各自的特点及侧重方向；接着，指出了该方法对提高软件质量的影响；最后，结合实例验证了该方法的优越性。