| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 前言 | 第10-14页 |
| 第2章 面向过程的结构测试的最优路径集选择算法 | 第14-38页 |
| ·动机 | 第14-16页 |
| ·利用 0-1 整数规划解决最优路径集选择问题的算法 | 第16-21页 |
| ·减少候选路径和要被覆盖的组件的规则 | 第21-28页 |
| ·经减少规则改进的 0-1 算法在结构测试的最优路径选择问题中的应用 | 第28-32页 |
| ·不可行路径对最优路径选择算法的影响 | 第32-34页 |
| ·经减少规则改进的 0-1 算法和其他算法的比较 | 第34-38页 |
| 第3章 改进的 0-1 算法在最优代表集选择问题中的应用 | 第38-46页 |
| ·动机 | 第38-39页 |
| ·最优路径集选择算法和最优代表集选择算法的类比 | 第39-40页 |
| ·最优代表集选择的实例 | 第40-43页 |
| ·本章的算法和其他算法的比较 | 第43-46页 |
| 第4章 顺序面向对象程序测试中的用例选择问题 | 第46-52页 |
| ·动机 | 第46-47页 |
| ·顺序面向对象程序的扩展路径 | 第47-50页 |
| ·测试顺序面向对象程序的步骤 | 第50-51页 |
| ·最佳测试用例选择问题在顺序面向对象程序测试中的地位 | 第51-52页 |
| 第5章 并发面向对象程序测试中的用例选择问题 | 第52-86页 |
| ·动机 | 第52-53页 |
| ·并发面向对象程序的并发扩展路径 | 第53-60页 |
| ·如何测试一个并发的面向对象程序 | 第60-82页 |
| ·并发面向对象程序的测试思路 | 第60-63页 |
| ·类集的生成算法 | 第63-64页 |
| ·所有扩展路径的生成算法 | 第64-68页 |
| ·并发面向对象程序的所有并发路径的生成算法 | 第68-70页 |
| ·如何解决共享对象带来的不确定性问题 | 第70-78页 |
| ·并发面向对象程序的测试步骤 | 第78-82页 |
| ·0-1 最优测试用例选择算法在并发面向对象程序测试中的应用 | 第82-86页 |
| ·覆盖准则在并发面向对象程序测试中的应用 | 第82-84页 |
| ·0-1 算法在并发面向对象程序测试中的具体步骤 | 第84-86页 |
| 第6章 结论与展望 | 第86-88页 |
| ·结论 | 第86-87页 |
| ·展望 | 第87-88页 |
| 参考文献 | 第88-90页 |
| 附录 | 第90-96页 |
| 附录1 一个顺序执行的 JAVA程序 | 第90-91页 |
| 附录2 一个并发 JAVA程序的例子 | 第91-93页 |
| 附录3 生成一个状态的所有后续节点的算法 | 第93-96页 |
| 致谢 | 第96-97页 |
| 攻读学位期间参加的科研项目和成果 | 第97页 |
