| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-9页 |
| Contents | 第9-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题的背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·论文研究内容 | 第14-15页 |
| ·论文组织结构 | 第15-16页 |
| 第二章 研究基础 | 第16-36页 |
| ·信息物理融合系统概述 | 第16-20页 |
| ·信息物理融合系统简介 | 第16-18页 |
| ·信息物理融合系统特点 | 第18-19页 |
| ·信息物理融合系统面临的挑战 | 第19-20页 |
| ·实时系统 | 第20-22页 |
| ·实时系统概述 | 第20-21页 |
| ·实时系统特征 | 第21-22页 |
| ·实时系统分类 | 第22页 |
| ·面向方面技术 | 第22-27页 |
| ·AOP的提出 | 第22-23页 |
| ·AOP的核心概念 | 第23-25页 |
| ·AOP的实现平台AspectJ | 第25-27页 |
| ·软件测试技术 | 第27-35页 |
| ·软件测试概述 | 第27页 |
| ·软件测试方法 | 第27-28页 |
| ·软件测试策略 | 第28-31页 |
| ·测试过程模型 | 第31-35页 |
| ·小结 | 第35-36页 |
| 第三章 面向方面软件测试方法研究 | 第36-50页 |
| ·面向方面软件质量问题 | 第36页 |
| ·面向方面软件测试特性 | 第36-37页 |
| ·基于错误模型的测试方法 | 第37-39页 |
| ·基于状态的测试方法 | 第39-40页 |
| ·基于建模的方式分离测试关注点 | 第40-49页 |
| ·建模 | 第40-41页 |
| ·关注点分离 | 第41-44页 |
| ·生成测试用例 | 第44-47页 |
| ·测试 | 第47-49页 |
| ·小结 | 第49-50页 |
| 第四章 面向方面的测试方法在实时信息物理融合系统的实时特性的应用研究 | 第50-79页 |
| ·智能交通系统概述 | 第50-53页 |
| ·公路交通系统分析 | 第53-55页 |
| ·分离横切关注点 | 第55-56页 |
| ·公路交通系统仿真与建模 | 第56-63页 |
| ·微分时序动态逻辑的概念 | 第57-59页 |
| ·系统的仿真与建模 | 第59-63页 |
| ·公路交通系统安全性测试 | 第63-71页 |
| ·公路交通系统可达性测试 | 第71-78页 |
| ·小结 | 第78-79页 |
| 总结与展望 | 第79-81页 |
| 参考文献 | 第81-85页 |
| 攻读学位期间发表的论文 | 第85-87页 |
| 致谢 | 第87页 |