实时系统的测试方法研究与应用
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-16页 |
| ·研究背景 | 第9-10页 |
| ·研究现状 | 第10-14页 |
| ·基于模型的实时系统测试的研究现状 | 第11-12页 |
| ·基于时间自动机的实时系统测试的研究现状 | 第12-14页 |
| ·主要研究内容 | 第14页 |
| ·本文的组织结构 | 第14-16页 |
| 2 相关理论概述 | 第16-22页 |
| ·软件测试的基本概念 | 第16页 |
| ·软件测试的分类 | 第16-18页 |
| ·基于模型的测试 | 第18-20页 |
| ·常用的软件测试模型 | 第18-20页 |
| ·基于模型的测试过程 | 第20页 |
| ·一致性测试方法研究 | 第20-22页 |
| 3 基于时间自动机的测试 | 第22-32页 |
| ·时间自动机概述 | 第22-26页 |
| ·时间自动机相关概念 | 第22-24页 |
| ·时间自动机的例子 | 第24-26页 |
| ·有穷状态的时间自动机 | 第26-32页 |
| ·时钟区域 | 第27页 |
| ·时钟区域的等价关系 | 第27-28页 |
| ·区域自动机 | 第28-30页 |
| ·带自动机 | 第30-32页 |
| 4 一种基于时间自动机的区域划分方法 | 第32-48页 |
| ·等价类划分 | 第32-33页 |
| ·利用等价类划分方法将区域进行划分 | 第33-36页 |
| ·区域的等价划分 | 第33-34页 |
| ·区域个数的计算 | 第34-36页 |
| ·改进的时钟区域划分方法 | 第36-48页 |
| ·新的区域划分方法-基于几何区域的等价类划分 | 第37-38页 |
| ·新的划分方法中区域个数的计算 | 第38-41页 |
| ·区域图与时钟约束的转换 | 第41-45页 |
| ·测试用例生成点的选取 | 第45-48页 |
| 5 基于抽象的约简技术 | 第48-69页 |
| ·基于抽象的状态空间约简 | 第48-58页 |
| ·互模拟技术 | 第48-50页 |
| ·时间互模拟 | 第50-54页 |
| ·抽象约简 | 第54-58页 |
| ·基于DBM的表达式约简 | 第58-62页 |
| ·表达式解的判定性 | 第58-61页 |
| ·表达式的约简 | 第61-62页 |
| ·实例 | 第62-69页 |
| 总结 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-76页 |
| 攻读硕士期间发表的学术论文 | 第76页 |
| 攻读学位期间参加的科研项目 | 第76-77页 |
