自动化软件测试技术研究
| 摘要 | 第1-6页 |
| 英文摘要 | 第6-10页 |
| 中英文词汇对照表 | 第10-12页 |
| 图表目录 | 第12-17页 |
| 第一章 引言 | 第17-30页 |
| ·研究背景 | 第17-20页 |
| ·软件测试技术 | 第20-28页 |
| ·软件测试的目标 | 第20-22页 |
| ·软件测试方法 | 第22-23页 |
| ·软件测试策略 | 第23-26页 |
| ·人工测试 | 第26-27页 |
| ·传统软件测试中的问题 | 第27-28页 |
| ·论文的组织结构和主要研究内容 | 第28-30页 |
| 第二章 自动化软件测试技术 | 第30-38页 |
| ·自动化软件测试技术的发展和特点 | 第30-32页 |
| ·软件自动测试技术的研究方向 | 第32-36页 |
| ·影响软件自动测试技术的因素 | 第36-37页 |
| ·小结 | 第37-38页 |
| 第三章 C-ATFM自动测试模型 | 第38-59页 |
| ·自动测试框架模型 | 第38-41页 |
| ·自动测试框架模型的设计原则 | 第38-39页 |
| ·面向功能的自动测试框架模型 | 第39-40页 |
| ·面向程序结构的自动测试框架模型 | 第40-41页 |
| ·结构化程序测试的主要技术 | 第41-47页 |
| ·基本概念 | 第41-43页 |
| ·程序与控制流图的转换 | 第43-45页 |
| ·测试指标 | 第45-47页 |
| ·C-ATFM的整体视图 | 第47-51页 |
| ·测试探针的设计 | 第51-53页 |
| ·自动测试的执行 | 第53-54页 |
| ·试验 | 第54-58页 |
| ·小结 | 第58-59页 |
| 第四章 基于规则说明的测试用例自动生成技术 | 第59-71页 |
| ·测试用例的基本概念 | 第60-61页 |
| ·基于程序形式化规则说明的测试用例自动生成 | 第61-68页 |
| ·形式化的规则说明 | 第62-64页 |
| ·决策表技术用于测试充分性判定 | 第64-68页 |
| ·试验数据分析 | 第68-70页 |
| ·小结 | 第70-71页 |
| 第五章 遗传算法实现测试用例自动生成技术 | 第71-87页 |
| ·进化计算与遗传算法 | 第71-74页 |
| ·多元进化策略 | 第72页 |
| ·标准遗传算法 | 第72-74页 |
| ·使用遗传算法实现测试用例自动生成 | 第74-83页 |
| ·遗传算法实现路径划分 | 第74-81页 |
| ·测试用例的错误检测能力 | 第81-83页 |
| ·试验和分析 | 第83-86页 |
| ·小结 | 第86-87页 |
| 第六章 启发式学习自动测试程序指令可达性 | 第87-99页 |
| ·限制满足问题 | 第87-88页 |
| ·指令可达性测试与路径CSP | 第88-90页 |
| ·自动求解路径CSP问题 | 第90-97页 |
| ·前向检测技术Forward Checking | 第90-91页 |
| ·改进后的R_BinSearchFC算法 | 第91-95页 |
| ·试验与结果分析 | 第95-97页 |
| ·小结 | 第97-99页 |
| 第七章 自动化安全测试 | 第99-113页 |
| ·TCP实现的有限状态机模型 | 第99-100页 |
| ·TCP连接的安全状态分析 | 第100-105页 |
| ·TCP服务端的安全路径计算 | 第105-108页 |
| ·TCP安全状态测试模型 | 第108-110页 |
| ·TCP安全状态测试软件设计 | 第110-111页 |
| ·试验及结果分析 | 第111-112页 |
| ·小结 | 第112-113页 |
| 第八章 自动化测试预测 | 第113-123页 |
| ·测试预测的描述方式 | 第114-117页 |
| ·嵌入式断言语言 | 第114-115页 |
| ·外部的接口规范 | 第115-117页 |
| ·规则说明语言 | 第117页 |
| ·自动化测试预测的过程 | 第117页 |
| ·有限自动机实现测试预测 | 第117-122页 |
| ·小结 | 第122-123页 |
| 第九章 自动测试的可靠性分析 | 第123-129页 |
| ·软件可靠性的度量基准 | 第123-125页 |
| ·多维几何分布模型(HGDM) | 第125-126页 |
| ·自动测试过程的可靠性评估 | 第126-128页 |
| ·小结 | 第128-129页 |
| 第十章 结论 | 第129-141页 |
| 作者在读期间科研成果简介 | 第141-143页 |
| 致谢 | 第143页 |
