面向静态分析的软件测试工具评估方法研究

• 作者: 曾福萍 王泽宇 李宇佳 王杰凯 .北京航空航天大学可靠性与系统工程学院 .中国电力科学研究院有限公司 .百度在线网络技术有限公司
• 来源期刊: 计算机测量与控制
• 学科: 工学
• 关键词: 软件测试;静态分析工具;自动控制软件;评估;召回率
• 年，卷（期）: 2025,（12）
• 页码范围: 280-287
• 页数: 8页
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2024.12.040

摘要

软件是否可靠运行将直接影响系统的可靠运行，急需有手段保障软件质量；静态分析因具有全自动运行、能更早实施、不需要执行程序等特点，在软件测试领域得到了广泛的使用，已成为保障软件质量的重要手段；测试工具可以极大地提高软件测试的效率；目前面向静态分析的软件测试工具数量众多，不同的工具具有不同的特点和缺陷检测能力，且都存在不低的误报率和漏报率，如何评估和选择测试工具成为软件静态分析时亟待解决的问题；基于CWE缺陷类型的基准测试集和精确度、召回率、F1值、CWE覆盖率以及Overall-Score的评估指标，详细阐述了面向静态分析的软件测试工具评估流程，结合CppCheck、TscanCode和Flawfinder三个开源软件静态分析工具开展了案例应用，为软件静态分析工具的评估与选择提供指导和参考。