基于静态分析的软件测试用例自动生成策略

永彬 温(国信科工（北京）科技产业发展有限公司，中国)

摘要

本文结合保障质量关键环节的软件测试中传统用例生成方法效率低且依赖人工的情况，以及静态分析技术无需执行代码即可提取程序结构信息为自动化测试提供支持的特点，本文旨在研究基于静态分析的测试用例自动生成策略，通过利用控制流分析、数据流分析等技术提取代码路径与数据依赖关系，进而自动生成覆盖路径和数据的测试用例，还设计并实现了相应生成框架，且经实验评估表明该策略能有效提高测试覆盖率和缺陷检测能力、降低人工成本，为自动化测试提供一种可行方案。

关键词

静态分析；测试用例生成；路径覆盖；数据流测试；自动化测试

参考

吉品,冯洋,吴朵,等.面向智能软件系统的测试用例生成方法综述[J/OL].软件学报,1-40[2025-09-17].

王毅,李可萌,曹国芳,等.复杂故障下静态安全分析的部分因子化修正改进方法[J/OL].电力系统自动化,1-21[2025-09-12].

我国牵头制定的自动驾驶测试场景评价与测试用例生成ISO国际标准正式发布[J].上海质量,2025,(07):86.

邹福泰,姜开达,占天越,等.基于前后端联合分析的JavaWeb漏洞挖掘方法[J/OL].计算机研究与发展,1-14[2025-09-12].

陈斌,谢晓刚,汤雨婷.大语言模型自适应安全测评框架设计与开发[C]//《信息安全研究》杂志社.2025网络安全创新发展大会论文集.华信咨询设计研究院有限公司;,2025:143-147.

DOI: http://dx.doi.org/10.12345/bdai.v6i5.32078