包邮基于人工智能的测试用例自动生成与测试用例集优化

第1章软件测试 1.1软件系统开发的可靠性问题 1.2回归测试的必要性 1.3单元测试概述 1.4静态测试与动态测试 l.5黑盒测试和白盒测试 1.6基于路径和覆盖率的测试 1.7约束求解问题 1.8代码测试系统 本章参考文献 第2章测试用例自动生成技术 2.1静态测试用例自动生成方法 2.1.1常用的静态分析技术 2.1.2典型的测试用例生成技术 2.2动态测试用例自动生成方法 2.2.1直线式程序法 2.2.2分支函数极小化法 2.2.3ADTEST 2.2.4迭代松弛法 2.2.5MHS方法 2.3动静结合的测试用例自动生成方法 本章参考文献 第3章基于分支限界的测试用例生成 3.1分支限界算法 3.1.1问题定义 3.1.2解决方案 3.1.3路径约束提取 ……