基于OSD模型的面向对象软件类测试方法研究

摘要	第1-4页
Abstract	第4-6页
第一章 绪论	第6-10页
·论文研究的背景	第6-7页
·论文主要研究内容及意义	第7-8页
·论文的主要工作及章节安排	第8页
·关于论文示例程序的说明	第8-10页
第二章 面向对象软件概述	第10-14页
·面向对象软件的特点及其对测试的影响	第10-11页
·面向对象软件测试策略	第11-14页
第三章 类测试方法	第14-17页
·类测试层次的划分	第14-15页
·方法测试	第15-16页
·状态测试	第16-17页
第四章 基于BBD 模型的方法测试	第17-24页
·状态变量和状态变量的状态集	第17页
·BBD 模型	第17-20页
·结构测试	第20-22页
·功能测试	第22-24页
第五章 基于OSD 模型的状态测试	第24-33页
·状态测试	第24页
·传统状态测试发现错误的机制	第24-25页
·构造OSD 模型	第25-28页
·利用OSD 模型进行错误检测	第28-30页
·构造测试消息序列树	第30-33页
第六章 总结与展望	第33-35页
·论文的创新点	第33页
·论文研究中存在的问题	第33-34页
·未来研究方向	第34-35页
附录一 MoveOut 类示例程序源代码	第35-37页
附录二 MoveOut 类示例程序经测试后的代码	第37-39页
参考文献	第39-41页
致谢	第41-42页
攻读硕士研究生期间发表的论文及参与的项目	第42-43页
论文独创性声明	第43-44页
论文使用授权声明	第44-45页