| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第1章 软件测试
1.1 软件系统开发的可靠性问题
1.2 回归测试的必要性
1.3 单元测试概述
1.4 静态测试与动态测试
1.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.3 ADTEST
2.2.4 迭代松弛法
2.2.5 MHS方法
2.3 动静结合的测 例自动生成方法
本章参考文献
第3章 基于分支限界的测 例生成
3.1 分支限界算法
3.1.1 问题定义
3.1.2 解决方案
3.1.3 路径约束提取
3.1.4 求相关变量集和相关变量闭包
3.1.5 变量级别确定算法
3.1.6 不相关变量移除
3.2 搜索加速算法
3.2.1 基于抽象解释的区间迭代优化策略
3.2.2 变量动态排序决策机制
3.2.3 基于爬山法的求解
3.2.4 实例分析
3.3 实验
3.3.1 迭代的区间运算对比实验
3.3.2 变量的动态排序对比实验
3.3.3 爬山法实验
第4章 人工智能在测 例自动生成中的应用
4.1 基于矛盾定位的混合回溯技术
4.1.1 背景介绍
4.1.2 问题的提出
4.1.3 3C算法
4.1.4 算法介绍
4.1.5 实验分析
4.2 基于优化区间运算的一致性判断算法
4.2.1 背景介绍
4.2.2 问题的提出
4.2.3 理论分析
4.2.4 算法描述和实现
4.2.5 实验分析
4.3 基于神经网络技术的测 例生成时间预测
4.3.1 背景介绍
4.3.2 问题的描述
4.3.3 数据准备
4.3.4 模型的确定与实现
4.3.5 实例分析
4.4 基于强化学习技术的测 例自动生成技术
4.4.1 背景介绍
4.4.2 问题的描述
4.4.3 强化学习模型的构建及算法描述
4.4.4 实例分析
本章参考文献
第5章 特殊程序结构的测 例生成
5.1 动静结合的循环处理模型
5.1.1 背景介绍
5.1.2 选择性符号执行
5.1.3 优化问题和目标函数
5.1.4 启发式引导的k+1循环处理模型
5.1.5 启发式引导的k+1循环处理模型算法概述
5.1.6 实例分析
5.2 基于代码片段和反向符号执行的不可达路径判定技术
5.2.1 背景介绍
5.2.2 不可达路径判定问题的重定义
5.2.3 不可达路径的特征调研
5.2.4 依赖循环的等值代码片段
5.2.5 对于代码片段性值的有效性验证
5.2.6 基于反向符号执行的可达路径生成技术
5.2.7 实例分析
5.3 基于原子函数的字符串类型测 例自动生成技术
5.3.1 背景介绍
5.3.2 字符串约束描述语言
5.3.3 原子函数的等价性
5.3.4 LAtom的约束求解过程
5.3.5 实例分析
5.4 库函数的约束求解策略
5.4.1 问题的描述
5.4.2 算法描述和实现
5.4.3 实例分析
本章参考文献
第6章 测 例集约简
6.1 测 例集约简概述
6.1.1 相关技术研究
6.1.2 测 例集约简的基本概念
6.1.3 测 例集约简的数学建模
6.2 基于佳点集萤火虫算法的测 例集约简
6.2.1 萤火虫算法
6.2.2 佳点集萤火虫算法
6.2.3 测 例集约简建模
6.2.4 实验分析
6.3 基于蚁狮优化算法的测 例集约简
6.3.1 蚁狮优化算法
6.3.2 实验分析
本章参考文献
第7章 测 例优先级排序
7.1 测 例优先级排序
7.1.1 测 例优先级排序的定义
7.1.2 多目标优化问题
7.1.3 多目标测 例优先级排序
7.1.4 测 例集排序的评测指标
7.2 基于人工免疫算法的测 例优先级排序
7.2.1 优化目标选取
7.2.2 人工免疫算法
7.2.3 实验分析
7.3 基于多种群粒子群算法的多目标测 例优先级排序
7.3.1 优化目标选取
7.3.2 多种群协同粒子群算法
7.3.3 基于多种群粒子群算法的多目标测 例优先级排序
7.3.4 实验分析
7.4 基于蝙蝠免疫算法的测 例集排序
7.4.1 优化目标选取
7.4.2 蝙蝠算法
7.4.3 人工免疫系统
7.4.4 多目标蝙蝠免疫算法
7.4.5 实验分析
本章参考文献
