| 插图目录 | 第1-7页 |
| 表格目录 | 第7-8页 |
| 中文摘要 | 第8-10页 |
| 英文摘要 | 第10-12页 |
| 第一章 绪论 | 第12-26页 |
| §1．1 立题背景 | 第12-20页 |
| §1．1．1 软件生存周期 | 第12-14页 |
| §1．1．2 保障软件质量的技术手段 | 第14-16页 |
| §1．1．3 软件测试的技术和过程 | 第16-18页 |
| §1．1．4 持续的软件测试与软件可测试性 | 第18-19页 |
| §1．1．5 软件测试的充分性准则 | 第19-20页 |
| §1．2 问题2的提出 | 第20-21页 |
| §1．3 存在的问题 | 第21-24页 |
| §1．4 本文的目标与主要工作 | 第24-25页 |
| §1．5 论文结构 | 第25-26页 |
| 第二章 面向路径的测试数据自动生成方法述评 | 第26-34页 |
| §2．1 随机法 | 第26-27页 |
| §2．2 静态法 | 第27-28页 |
| §2．2．1 符号执行 | 第27页 |
| §2．2．2 区间算术法 | 第27-28页 |
| §2．3 动态法 | 第28-30页 |
| §2．3．1 直线式程序法 | 第28-29页 |
| §2．3．2 BogdanKorel提出的方法 | 第29页 |
| §2．3．3 M．Gallagher等人提出的方法 | 第29-30页 |
| §2．3．4 迭代松弛法 | 第30页 |
| §2．4 试探法 | 第30-31页 |
| §2．4．1 遗传算法 | 第31页 |
| §2．4．2 模拟退火 | 第31页 |
| §2．5 小结 | 第31-34页 |
| 第三章 迭代松弛法及其改进 | 第34-47页 |
| §3．1 迭代松弛法 | 第34-39页 |
| §3．1．1 迭代松弛法简介 | 第34-37页 |
| §3．1．2 迭代松弛法的算法描述 | 第37页 |
| §3．1．3 迭代松弛法的讨论 | 第37-39页 |
| §3．2 迭代松弛法的改进 | 第39-41页 |
| §3．2．1 改进后的迭代松弛法的讨论 | 第40-41页 |
| §3．3 实例 | 第41-46页 |
| §3．4 小结 | 第46-47页 |
| 第四章 改进后的迭代松弛法与原方法线性约束等价性证明 | 第47-57页 |
| §4．1 模型语言L | 第47-48页 |
| §4．2 L的操作语义 | 第48-50页 |
| §4．3 构造路径静态切片 | 第50-51页 |
| §4．4 线性化谓词函数 | 第51-55页 |
| §4．4．1 输入依赖集的构造 | 第51-52页 |
| §4．4．2 线性算术表示的构造 | 第52-54页 |
| §4．4．3 线性约束的构造 | 第54-55页 |
| §4．5 迭代松弛法及其改进后的方法构造线性约束系统的时空效率分析 | 第55页 |
| §4．6 小结 | 第55-57页 |
| 第五章 面向路径的测试数据生成框架及应用 | 第57-62页 |
| §5．1 面向路径的测试数据生成框架 | 第57-58页 |
| §5．2 面向路径的测试数据生成框架的应用 | 第58-61页 |
| §5．2．1 单元测试 | 第59页 |
| §5．2．2 组装测试 | 第59-61页 |
| §5．3 小结 | 第61-62页 |
| 第六章 系统原型（简称PTDG）开发 | 第62-70页 |
| §6．1 UML和Tcl／Tk简介 | 第62-63页 |
| §6．1．1 UML简介 | 第62页 |
| §6．1．2 Tcl／Tk简介 | 第62-63页 |
| §6．2 PTDG的分析 | 第63-64页 |
| §6．3 PTDG的设计 | 第64-67页 |
| §6．3．1 用例图的设计 | 第64页 |
| §6．3．2 顺序图的设计 | 第64-66页 |
| §6．3．3 类图的设计 | 第66页 |
| §6．3．4 图形用户界面的设计 | 第66-67页 |
| §6．4 PTDG的实现 | 第67-69页 |
| §6．4．1 词法分析器、语法分析器的实现 | 第67页 |
| §6．4．2 约束求解器的实现 | 第67-68页 |
| §6．4．3 图形用户界面的实现 | 第68-69页 |
| §6．5 小结 | 第69-70页 |
| 第七章 实验 | 第70-77页 |
| §7．1 线性约束的程序路径 | 第70-71页 |
| §7．2 非线性约束的程序路径 | 第71-72页 |
| §7．3 面向断言和回归测试的测试数据的自动生成 | 第72-75页 |
| §7．4 小结 | 第75-77页 |
| 第八章 结束语 | 第77-79页 |
| §8．1 本文主要贡献 | 第77-78页 |
| §8．2 今后研究工作 | 第78页 |
| §8．3 小结 | 第78-79页 |
| 攻读博士学位期间已录用发表的论文和撰写的技术报告 | 第79-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-88页 |
| 附录A 部分性质、引理、定理证明 | 第88-96页 |
