原创力文档- 1、本文档共68页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
时序扩展的um状态图的测试用例生成研究
目录
摘 要……………………………………………………………………………III
Abs扛act…………．．……………………………………………………………．…………………………．V
第l章绪论………………………………………………………………………1
1．1选题背景及意义…………………………………………………………2
1．2国内外研究现状…………………………………………………………4
1．3本文主要解决的问题……………………………………………………．5
1．4论文的组织结构…………………………………………………………6
第2章相关理论基础……………………………………………………………9
2．1软件测试基础理论………………………………………………………9
2．2基于模型的测试用例生成简介………………………………………．．10
2．2．1模型的简介………………………………………………………．1l
2．2．2基于模型的测试用例生成………………………………………．11
2．2．3主流测试用例生成模型…………………………………………12
2．3
UML及其建模技术……………………………………………………14
2．3．1
UML建模语言简介……………………………………………．．14
2．3．2 6
UML中的图……………………………………………………．．1
2．4 6
UML状态图………………………………………………………………………………．．1
2．4．1 6
UML状态图的组成结构………………………………………．．1
2．4．2 8
UML状态图的文件结构………………………………………．．1
2．4．3基于UML状态图的测试………………………………………．19
2．5优化测试序列…………………………………………………………．．19
2．6本章小结…………………………………………………………………20
第3章充分性准则……………………………………………………………．21
3．1软件测试的充分性问题………………………………………………．．21
3．2基于U池状态图的测试充分性准则…………………………………23
3．2．1状态覆盖准则……………………………………………………23
3．2．2迁移覆盖准则……………………………………………………23
3．2．3状态转移对覆盖准则……………………………………………23
3．2．4完全判定覆盖准则………………………………………………24
3．3本章小结………………………………………………………………一26
第4章UML状态图的时序扩展………………………………………………27
4．1时序扩展方案…………………………………………………………一27
4．2实例介绍…………．……………………………………………………．30
4．3本章小结………………………………………………………………．．31
第5章时序扩展的UML状态图生成测试用例算法研究…………………．．33
5．1UML状态图生成测试用例的基本算法………………………………33
5．2时序扩展的状态图生成测试用例的基本算法………………………．．35
5．2．1时间约束的处理…………………………………………………35
5．2．2充分性覆盖准则处理……………………………………………37
5．2．3测试序列生成的处理……………………………………………37
5．3测试路径优化的处理…………………………………………………．．39
文档评论（0）