摘要 | 第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页 |