若干软件非功能属性相关的设计和实现技术研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-9页 |
| 插图目录 | 第9-10页 |
| 表格目录 | 第10-11页 |
| 第一章 绪论 | 第11-19页 |
| ·研究背景 | 第11-12页 |
| ·研究问题和目标 | 第12-14页 |
| ·主要工作 | 第14-17页 |
| ·本文组织结构 | 第17-19页 |
| 第二章 本文研究工作相关技术介绍 | 第19-31页 |
| ·统一建模语言UML | 第19-20页 |
| ·混合执行测试与静态分析 | 第20-21页 |
| ·面向方面软件技术 | 第21-31页 |
| 第三章 基于UML活动图的面向方面软件建模 | 第31-47页 |
| ·基于UML活动图的面向方面建模 | 第32-39页 |
| ·示例 | 第32-33页 |
| ·活动图面向方面的扩展 | 第33-34页 |
| ·方面建模 | 第34-39页 |
| ·基于UML活动图的模型集成 | 第39-42页 |
| ·识别连接点 | 第39-40页 |
| ·初始化通知模型 | 第40-41页 |
| ·编织方面模型 | 第41-42页 |
| ·工具实现及实例研究 | 第42-44页 |
| ·相关工作 | 第44-45页 |
| ·本章小结 | 第45-47页 |
| 第四章 基于UML活动图的面向方面模型验证 | 第47-63页 |
| ·背景介绍 | 第48-50页 |
| ·活动图和Petri网 | 第48-49页 |
| ·CTL和LoLA | 第49-50页 |
| ·示例 | 第50-52页 |
| ·活动图转换为Petri网 | 第52-53页 |
| ·横切关注规约的形式化及验证 | 第53-57页 |
| ·待验证的属性 | 第54-56页 |
| ·处理多个横切关注点 | 第56-57页 |
| ·横切关注规约的验证 | 第57页 |
| ·工具实现及实例研究 | 第57-60页 |
| ·相关工作 | 第60-62页 |
| ·本章小结 | 第62-63页 |
| 第五章 基于混合执行测试的缓冲区溢出缺陷检测技术 | 第63-77页 |
| ·示例 | 第64-65页 |
| ·基于混合执行测试的缓冲区溢出缺陷检测技术 | 第65-71页 |
| ·程序模型 | 第66页 |
| ·缓冲区溢出缺陷模型 | 第66-67页 |
| ·静态分析 | 第67-68页 |
| ·可达性分析 | 第68-69页 |
| ·程序插装 | 第69页 |
| ·动态测试 | 第69-71页 |
| ·工具实现及实例研究 | 第71-75页 |
| ·原型工具实现 | 第71页 |
| ·实验设计 | 第71-72页 |
| ·实验结果分析 | 第72-74页 |
| ·讨论 | 第74-75页 |
| ·相关工作 | 第75-76页 |
| ·本章小结 | 第76-77页 |
| 第六章 针对计算误差处理的面向方面程序设计技术 | 第77-93页 |
| ·计算误差 | 第78-79页 |
| ·误差处理与方面 | 第79-81页 |
| ·算法优化 | 第79-80页 |
| ·误差估计 | 第80页 |
| ·误差控制 | 第80-81页 |
| ·实例研究 | 第81-87页 |
| ·面向方面重构 | 第81-84页 |
| ·下山法 | 第84页 |
| ·全局误差估计 | 第84-85页 |
| ·误差控制 | 第85-87页 |
| ·实验设计及评估 | 第87-90页 |
| ·相关工作 | 第90-91页 |
| ·本章小结 | 第91-93页 |
| 第七章 结束语 | 第93-97页 |
| ·本文主要工作 | 第93-95页 |
| ·进一步工作 | 第95-97页 |
| 参考文献 | 第97-111页 |
| 攻读博士学位期间科研成果 | 第111-113页 |
| 致谢 | 第113-115页 |
