基于语义的软件可测试性度量的研究与应用
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·研究背景和意义 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·课题主要研究内容及组织结构 | 第11-13页 |
| 第二章 软件可测试性 | 第13-25页 |
| ·软件可测试性与信息丢失 | 第13-17页 |
| ·隐式信息丢失 | 第15-16页 |
| ·显式信息丢失 | 第16-17页 |
| ·软件可测试性的度量 | 第17-21页 |
| ·DRR 与软件可测试性 | 第17-18页 |
| ·利用PIE 度量软件的可测试性 | 第18-21页 |
| ·提高软件可测试性的方法 | 第21-24页 |
| ·利用DRR 技术提高软件的可测试性 | 第21页 |
| ·利用插入断言和敏感性分析 | 第21-22页 |
| ·利用域的可测试性提高软部件的可测试性 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 软件语义与可测试性度量 | 第25-39页 |
| ·软件语义 | 第25页 |
| ·语义错误大小与软件可测试性 | 第25-31页 |
| ·软件错误的大小 | 第25-27页 |
| ·语义错误的大小与软件可测试性之间的关系 | 第27-28页 |
| ·语义错误大小的定量计算 | 第28-29页 |
| ·模型的正确性证明和有效性验证 | 第29-31页 |
| ·软件可测试性的两个新的特征因素 | 第31-38页 |
| ·错误易检测性的度量 | 第33-35页 |
| ·错误可定位性的度量 | 第35-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 程序切片与语义差异 | 第39-61页 |
| ·程序切片 | 第39-44页 |
| ·语义差异 | 第44页 |
| ·输入输出依赖关系法 | 第44-51页 |
| ·输入输出依赖关系法的基本思想 | 第44-46页 |
| ·输入输出依赖关系法的核心技术 | 第46-48页 |
| ·对输入输出依赖关系法的改进 | 第48-51页 |
| ·利用分割算法计算语义差异 | 第51-60页 |
| ·程序表示图 | 第51-53页 |
| ·节点的操作 | 第53-54页 |
| ·分割算法 | 第54-55页 |
| ·顺序一致算法 | 第55-56页 |
| ·计算程序的语义差异 | 第56-57页 |
| ·利用分割算法的一个例子 | 第57-60页 |
| ·本章小结 | 第60-61页 |
| 第五章 软件语义计算系统的原型设计 | 第61-69页 |
| ·原型系统功能概述 | 第61页 |
| ·原型系统总体框架设计 | 第61-67页 |
| ·PRG 的构造 | 第63-65页 |
| ·语义差异计算模块的设计 | 第65-66页 |
| ·切片工具的设计 | 第66-67页 |
| ·本章小结 | 第67-69页 |
| 第六章 总结与展望 | 第69-71页 |
| ·本文的主要研究工作 | 第69页 |
| ·下一步的工作 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-76页 |
| 在学期间研究成果 | 第76页 |
