基于并发自动机的构件化软件观测模型研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 1 绪论 | 第7-11页 |
| ·立题背景 | 第7页 |
| ·国内外研究现状 | 第7-9页 |
| ·本文的目标和主要研究内容 | 第9-11页 |
| 2 构件化软件测试及其存在问题 | 第11-14页 |
| ·传统软件测试方法局限性 | 第11页 |
| ·目前构件化软件测试方法局限性 | 第11-12页 |
| ·测试问题分析 | 第12-13页 |
| ·分析结论 | 第13-14页 |
| 3 基本理论 | 第14-19页 |
| ·踪迹语言 | 第14-19页 |
| ·踪迹语言的基本理论 | 第14-16页 |
| ·稳定并发自动机 | 第16-19页 |
| 4 基于并发自动机的构件化软件观测模型 | 第19-41页 |
| ·软件系统静态分析 | 第19-21页 |
| ·事件和事件的结构 | 第19-20页 |
| ·状态和状态结构 | 第20页 |
| ·状态与事件的关系 | 第20页 |
| ·基于事件和状态的软件静态结构的意义 | 第20-21页 |
| ·软件系统的动态分析 | 第21-22页 |
| ·典型行为的研究 | 第22-33页 |
| ·顺序行为的研究 | 第22-26页 |
| ·并发行为的研究 | 第26-33页 |
| ·构件化软件并发自动机观测模型 | 第33-35页 |
| ·构件化软件的特点 | 第33-34页 |
| ·构件化软件观测模型的形式化定义 | 第34-35页 |
| ·观测模型建模的方法步骤 | 第35页 |
| ·基于稳定并发自动机软件结构模型的测试有效性评估 | 第35-38页 |
| ·基于测试数据充分性公理评估 | 第36-37页 |
| ·基于观测构造理论的评估 | 第37-38页 |
| ·构件化软件测试准则 | 第38-39页 |
| ·测试用例生成的原理 | 第39-41页 |
| 5 实例研究 | 第41-57页 |
| ·需求描述 | 第41-42页 |
| ·需求转换 | 第42-44页 |
| ·观测模型的建立 | 第44-45页 |
| ·顺序过程模型 | 第44页 |
| ·并发过程模型——完全独立关系 | 第44-45页 |
| ·测试实施 | 第45-56页 |
| ·实例验证有效性评估 | 第56-57页 |
| 6 总结与展望 | 第57-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-62页 |
| 在校期间发表论文 | 第62页 |
