面向对象并发程序切片技术及其在程序验证中的应用

文摘

英文文摘

论文说明:图表目录

声明

第一章绪论

1.1研究背景及意义

1.2国内外研究现状

1.3本文研究内容

1.4本文组织结构

第二章程序切片技术及其相关概念

2.1程序切片技术概述

2.2程序切片基本概念

2.2.1控制流图

2.2.2依赖关系

2.2.3程序依赖图与系统依赖图

2.3程序切片的分类

2.4本章小结

第三章面向对象并发程序切片方法

3.1面向对象程序切片

3.1.1面向对象系统依赖图

3.1.2面向对象程序的分层切片

3.2面向对象并发程序切片

3.2.1并发程序依赖关系

3.2.2面向对象并发系统依赖图

3.3基于变量缓存表的切片方法

3.3.1变量缓存表的分析

3.3.2并发程序切片的计算

3.4相关工作比较

3.5本章小结

第四章程序切片技术在程序验证中的应用

4.1切片技术的基本应用

4.1.1切片技术在软件开发方面的应用

4.1.2 Web应用程序切片方法

4.2程序验证技术

4.3线性时序逻辑(LTL)

4.4基于LTL性质的切片方法

4.5相关工作比较

4.6本章小结

第五章程序切片应用实例分析

5.1基于变量缓存表的动态切片方法

5.2切片技术在模型检测中的应用

5.3本章小结

第六章总结与展望

6.1本文工作总结

6.2进一步展望

参考文献

攻读硕士学位期间参加的科研项目和发表(录用)的论文

致谢