基本信息

---

下载

文档摘要

---

基于符号执行的自动化测试用例生成方法的创新与实践

一、引言

1.1研究背景

在数字化时代，软件已深度融入社会的各个领域，从日常使用的手机应用、电脑软件，到关键基础设施的控制系统，如交通、能源、医疗等领域，软件无处不在，其重要性不言而喻。随着软件应用场景的不断拓展和用户需求的日益多样化，软件规模持续膨胀，复杂度也呈指数级增长。以操作系统为例，早期的操作系统代码量相对较少，功能也较为单一；而现代的操作系统，如Windows10，其代码行数已超过数千万行，涵盖了图形界面、网络通信、设备驱动、安全防护等众多复杂功能模块，各模块之间相互关联、相互依赖，形成了一个极其庞大且复杂的系统。

软件规模和