面向静态分析的软件测试工具评估方法研究
来源：计算机测量与控制杂志2024年第12期北京时间：
作者：曾福萍,王泽宇,李宇佳,王杰凯
单位：北京航空航天大学可靠性与系统工程学院
摘要：软件是否可靠运行将直接影响系统的可靠运行,急需有手段保障软件质量。静态分析因具有全自动运行、能更早实施、不需要执行程序等特点,在软件测试领域得到了广泛的使用,已成为保障软件质量的重要手段。测试工具可以极大地提高软件测试的效率。目前面向静态分析的软件测试工具数量众多,不同的工具具有不同的特点和缺陷检测能力,且都存在不低的误报率和漏报率,如何评估和选择测试工具成为软件静态分析时亟待解决的问题。基于CWE缺陷类型的基准测试集和精确度、召回率、F1-Score、CWE覆盖率以及Overall-Score的评估指标,详细阐述了面向静态分析的软件测试工具评估流程,结合CppCheck、TscanCode和Flawfinder三个开源软件静态分析工具开展了案例应用,为软件静态分析工具的评估与选择提供指导和参考。
关键词：软件测试;静态分析工具;自动控制软件;评估;召回率
基金资助：国家电网公司科技计划项目“电力调度自动化系统自动控制软件质量控制与评价关键技术研究”(SGLNDLOODKJS250326)。
