基于UML状态图的类测试用例自动生成方法研究

前言	第1-8页
1 面向对象软件测试的特点和现状	第8-12页
1．1 面向对象软件的特点及其对测试的影响	第8-10页
1．2 面向对象软件的测试范围划分	第10-11页
1．3 面向对象软件测试的覆盖标准	第11-12页
2 基于规约的软件测试	第12-15页
2．1 基于规约测试的优点	第12-13页
2．2 基于规约测试当前的研究现状	第13-15页
3 基于UML状态图的类测试用例生成	第15-43页
3．1 类的基于状态的测试	第17-20页
3．2 有限状态机及UML状态图的基本语法和语义	第20-22页
3．3 测试需求（覆盖标准）	第22-25页
3．4 状态识别（预测）	第25-28页
3．4．1 基于扩展有限状态机常用的预测方法	第25-27页
3．4．2 类的实例对象的状态预测	第27-28页
3．5 测试消息序列生成	第28-34页
3．5．1 生成达到状态覆盖的测试消息序列	第30-31页
3．5．2 补充测试消息序列以达到转换的覆盖	第31-32页
3．5．3 消息序列执行顺序排序	第32-34页
3．6 测试用例生成工具	第34-43页
3．6．1 文件解析	第35-40页
3．6．2 消息序列生成	第40-43页
4 总结	第43-46页
致谢	第46-47页
参考文献	第47-50页