| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 1.绪论 | 第8-14页 |
| ·选题的意义 | 第8-9页 |
| ·软件测试的国内外研究动态 | 第9-11页 |
| ·主要研究内容与论文结构 | 第11-14页 |
| 2.软件测试研究基础 | 第14-24页 |
| ·软件测试技术 | 第14-16页 |
| ·软件测试的方法 | 第16-19页 |
| ·当今软件测试的前沿理论 | 第19-24页 |
| 3.构件和基于构件的软件测试 | 第24-35页 |
| ·构件概述 | 第24-27页 |
| ·构件组装技术的研究 | 第27-28页 |
| ·构件组装分类 | 第28-29页 |
| ·构件测试 | 第29-30页 |
| ·基于构件软件测试的进展 | 第30-35页 |
| 4.软件构件的验证研究 | 第35-50页 |
| ·行为协议 | 第35-37页 |
| ·构件行为兼容性 | 第37-39页 |
| ·将行为协议翻译成Promela语言 | 第39-46页 |
| ·评估 | 第46-48页 |
| ·相关工作 | 第48-50页 |
| 结语 | 第50-52页 |
| 参考文献 | 第52-56页 |
| 附录 | 第56-57页 |
| 后记 | 第57-58页 |