声明
摘要
符号列表
第一章 绪论
1.1 研究动因
1.2 当前的研究现状
1.2.1 国外的研究现状
1.2.2 国内的研究现状
1.2.3 存在的问题
1.3 本文的研究目标与工作
1.4 论文的组织结构
第二章 研究基础
2.1 运行时验证相关理论
2.2 UML序列图相关理论
2.2.1 序列图的基本组成
2.2.2 UML2.0序列图的新特性
2.2.3 序列图的形式化定义
2.3 时间自动机相关理论
2.4 面向方面编程相关理论
2.5 本章小结
第三章 基于UML2.0时间属性序列图的运行时验证方法
3.1 基于时间属性序列图的运行时验证原理
3.1.1 时间属性序列图
3.1.2 基于时间属性序列图的运行时验证原理
3.2 基于UML2.0时间属性序列图的监控器构造算法
3.3 相关工作对比
3.4 本章小结
第四章 实验结果及分析
4.1 功能性试验
4.1.1 实验样例设计
4.1.2 需求规约建模
4.1.3 构造运行时监控器
4.1.4 代码插装
4.1.5 运行时监控
4.1.6 实验结果
4.2 性能对比试验
4.3 相关工作对比
4.4 本章小结
第五章 总结和展望
5.1 本文工作的总结
5.2 进一步的研究工作
参考文献
在校期间参加的科研项目和发表的论文
致谢