首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于UML Statechart图的软件测试用例自动生成技术研究

摘要第1-7页
ABSTRACT第7-11页
第1章 绪论第11-20页
   ·软件测试简介第11-13页
     ·什么是软件测试第11页
     ·软件测试技术第11-13页
     ·测试数据选择准则第13页
   ·问题的提出以及国内外研究现状第13-18页
     ·问题的提出第13-15页
     ·课题来源第15-16页
     ·国内外研究现状第16-18页
   ·本文所做的工作第18-19页
     ·本文的主要研究内容和特点第18-19页
     ·本文的结构安排第19页
 小结第19-20页
第2章 UML Statechart语法及其层次语义第20-33页
   ·UML简介第20页
   ·UML Statechart简介第20-24页
   ·UML Statechart层次模型第24-32页
     ·状态(State)第24-26页
     ·迁移关系(Transition)第26-30页
     ·形式化操作语义(Formal Operational Semantics)第30-32页
 小结第32-33页
第3章 UML Statechart测试用例生成方法第33-54页
   ·UML Statechart测试方法第33-39页
     ·UML Statechart层次状态机的故障第33页
     ·UML Statechart图迁移关系的测试方法第33-36页
     ·UML Statechart图测试用例生成方法第36-39页
   ·UML Statechart图的测试准则及其测试用例生成算法第39-52页
     ·状态覆盖准则第40-42页
     ·迁移关系覆盖准则第42-43页
     ·迁移关系谓词覆盖准则第43-45页
     ·迁移关系全谓词覆盖准则第45-47页
     ·迁移关系划分覆盖准则第47-52页
   ·测试准则试验及评价第52-53页
 小结第53-54页
第4章 演示系统的设计与实现第54-61页
   ·系统的模块第54-59页
     ·模型读取模块第54-55页
     ·自动机模块第55-57页
     ·谓词解析模块第57-58页
     ·测试用例自动生成模块第58-59页
   ·系统界面以及使用说明第59-60页
 小结第60-61页
结论第61-63页
参考文献第63-67页
致谢第67-69页
附录A 攻读学位期间完成的论文和参加的项目第69-71页
附录B 事件监视谓词表达式语法范式第71-72页

论文共72页,点击 下载论文
上一篇:Turbine框架下的软件开发与研究
下一篇:光测设备训练模拟系统研究