前言 | 第4-5页 |
中文摘要 | 第5-7页 |
英文摘要 | 第7-9页 |
第一章 绪论 | 第19-29页 |
1.1 问题的提出 | 第19-22页 |
1.2 问题解决思路 | 第22-24页 |
1.2.1 应用系统评价方法来选择合适的算子 | 第22-23页 |
1.2.2 应用软件工程受控实验来探索新发现 | 第23页 |
1.2.3 软件评审信息系统的设计 | 第23-24页 |
1.3 本文工作定义 | 第24-27页 |
1.3.1 相关工作研究动态 | 第24-26页 |
1.3.2 本文工作与贡献 | 第26-27页 |
1.4 本文结构 | 第27-29页 |
第二章 相关理论和方法 | 第29-45页 |
2.1 质量管理 | 第29-32页 |
2.1.1 概述 | 第29-30页 |
2.1.2 过程建模与质量管理 | 第30-31页 |
2.1.3 软件评审与质量管理 | 第31-32页 |
2.2 实证软件工程概述 | 第32-40页 |
2.2.1 系统评价方法 | 第33-36页 |
2.2.2 受控实验 | 第36-39页 |
2.2.3 实证研究效度分析 | 第39-40页 |
2.3 捕获-再捕获基础知识 | 第40-44页 |
2.3.1 捕获-再捕获模型 | 第41-42页 |
2.3.2 捕获-再捕获算子 | 第42页 |
2.3.3 捕获-再捕获在软件工程中的应用 | 第42-44页 |
2.4 本章小结 | 第44-45页 |
第三章 捕获-再捕获算子的评价和选择 | 第45-92页 |
3.1 概述 | 第45-46页 |
3.2 捕获-再捕获方法在软件工程领域应用的系统评价 | 第46-59页 |
3.2.1 捕获-再捕获应用状况的SLR的设计和执行 | 第46-50页 |
3.2.2 捕获-再捕获SLR结果分析 | 第50-58页 |
3.2.3 SLR的Validity问题 | 第58页 |
3.2.4 捕获-再捕获SLR结果讨论 | 第58-59页 |
3.3 捕获-再捕获算子评价实验 | 第59-77页 |
3.3.1 概述 | 第59页 |
3.3.2 研究问题和数据定义 | 第59-60页 |
3.3.3 需求评审实验设计 | 第60-66页 |
3.3.4 分析设计 | 第66-68页 |
3.3.5 分析工具 | 第68-69页 |
3.3.6 评价与分析结论 | 第69-77页 |
3.4 捕获-再捕获方法讨论 | 第77-84页 |
3.4.1 捕获-再捕获相关的实证研究发现 | 第77-78页 |
3.4.2 数学推导与原因分析 | 第78-84页 |
3.5 算子选择和应用基本策略 | 第84-90页 |
3.5.1 概述 | 第84-85页 |
3.5.2 多种算子的均值方法 | 第85页 |
3.5.3 1000次随机抽样检验结果 | 第85-90页 |
3.5.4 检验结论 | 第90页 |
3.6 本章小结 | 第90-92页 |
第四章 评价捕获-再捕获估算结果的探索 | 第92-106页 |
4.1 概述 | 第92页 |
4.2 测缺陷暴露率指标设计和验证 | 第92-95页 |
4.2.1 基本思想 | 第92-93页 |
4.2.2 测缺陷暴露率与相对偏差的关系 | 第93页 |
4.2.3 验证结论 | 第93-95页 |
4.3 缺陷重合率指标设计和评价 | 第95-98页 |
4.3.1 基本思想 | 第95-96页 |
4.3.2 陷重合率与相对偏差的关系 | 第96-98页 |
4.3.3 结论 | 第98页 |
4.4 指标验证与应用 | 第98-104页 |
4.4.1 基本思想 | 第98页 |
4.4.2 验证结果 | 第98-104页 |
4.4.3 结论 | 第104页 |
4.5 本章小结 | 第104-106页 |
第五章 改进捕获-再捕获应用的探索 | 第106-133页 |
5.1 概述 | 第106页 |
5.2 缺陷发现率与估算相对偏差之间的关系 | 第106-112页 |
5.2.1 缺陷发现率和相对偏差指标设计 | 第106-107页 |
5.2.2 结果分析 | 第107-112页 |
5.2.3 结论 | 第112页 |
5.3 支持材料在个人代码阅读中作用探索 | 第112-132页 |
5.3.1 概述 | 第113-114页 |
5.3.2 代码评审受控实验设计 | 第114-124页 |
5.3.3 实验结果分析 | 第124-128页 |
5.3.4 代码评审实验的效度分析 | 第128-131页 |
5.3.5 实验结论 | 第131-132页 |
5.4 本章小结 | 第132-133页 |
第六章 基于捕获-再捕获方法的软件评审过程框架与支持工具 | 第133-144页 |
6.1 概述 | 第133页 |
6.2 软件评审过程框架 | 第133-137页 |
6.2.1 角色定义 | 第133-134页 |
6.2.2 流程定义 | 第134-137页 |
6.3 支持工具 | 第137-143页 |
6.3.1 基本应用场景描述 | 第137-141页 |
6.3.2 技术架构设计 | 第141页 |
6.3.3 应用示例 | 第141-143页 |
6.4 本章小结 | 第143-144页 |
第七章 结论与展望 | 第144-150页 |
7.1 结论 | 第144-146页 |
7.1.1 算子选择基本策略 | 第144-145页 |
7.1.2 估算结果评价 | 第145-146页 |
7.1.3 应用改进 | 第146页 |
7.2 讨论 | 第146-147页 |
7.3 展望 | 第147-150页 |
附录A 需求评审阅读材料 | 第150-162页 |
附录B 需求评审注入缺陷 | 第162-165页 |
附录C 代码评审Pretest代码 | 第165-170页 |
附录D 代码评审真实阅读代码(有注释) | 第170-183页 |
附录E 代码评审真实阅读代码(无注释) | 第183-192页 |
附录F 设计文档 | 第192-202页 |
附录G 代码评审注入缺陷 | 第202-205页 |
参考文献 | 第205-217页 |
捕获 -再捕获SLR研究识别的文献列表 | 第217-223页 |
攻读博士学位期间完成的学术成果 | 第223-227页 |
致谢 | 第227-228页 |