基于合约检查的构件化软件测试的研究

摘要	第1-4页
ABSTRACT	第4-7页
1 绪论	第7-11页
·立题背景	第7-8页
·国内外研究现状	第8-10页
·本文的目标和主要工作内容	第10-11页
2 软件构件技术及对软件测试产生的影响	第11-20页
·软件构件技术	第11-16页
·构件定义、来源及其特点	第11-12页
·构件与对象	第12-13页
·当前的构件技术	第13-14页
·基于构件的软件开发过程	第14-16页
·构件技术对软件测试产生的影响	第16-19页
·构件测试与传统软件测试	第16-17页
·单构件测试问题	第17页
·构件化软件集成测试问题	第17-19页
·小结	第19-20页
3 基于合约检查的构件化软件测试策略	第20-29页
·基于合约检查的构件化软件测试理论	第20-25页
·合约的定义及扩展	第20-22页
·合约的正确性验证公式	第22-23页
·基于合约检查的基本思想	第23-25页
·基于合约检查的构件化软件故障模型	第25-26页
·基于合约检查的构件化软件测试层次	第26-27页
·基于合约检查的构件化软件测试过程	第27-28页
·小结	第28-29页
4 基于合约检查的构件化软件测试的实现	第29-54页
·测试平台基本文档的描述	第29-36页
·XML 的运用	第29-30页
·测试用例/测试用例集的描述方法	第30-34页
·构件合约的描述方法	第34-36页
·测试平台组成	第36页
·构件确认测试子系统	第36-43页
·构件化软件的集成测试子系统	第43-47页
·测试管理子系统	第47-49页
·应用实例	第49-53页
·小结	第53-54页
5 工作总结与展望	第54-56页
致谢	第56-57页
参考文献	第57-60页
在校期间发表论文	第60页