特定领域环境下软件切片技术的研究
| 摘要 | 第1-9页 |
| Abstract | 第9-10页 |
| 插图索引 | 第10-11页 |
| 附表索引 | 第11-12页 |
| 第1章 绪论 | 第12-16页 |
| ·课题的研究背景及意义 | 第12-13页 |
| ·国内外研究现状及应用现状 | 第13-14页 |
| ·国外研究现状 | 第13页 |
| ·国内研究现状 | 第13-14页 |
| ·切片技术应用现状 | 第14页 |
| ·特定领域下软件切片技术的研究 | 第14页 |
| ·论文的主要研究内容 | 第14页 |
| ·论文的组织结构安排 | 第14-16页 |
| 第2章 软件切片技术和形式化方法 | 第16-28页 |
| ·切片技术基本概念 | 第16-17页 |
| ·切片技术分类 | 第17-21页 |
| ·静态程序切片 | 第17-18页 |
| ·动态程序切片 | 第18-19页 |
| ·条件程序切片 | 第19页 |
| ·分解程序切片 | 第19-20页 |
| ·无定型程序切片 | 第20页 |
| ·前向切片和后向切片 | 第20-21页 |
| ·面向对象的程序切片 | 第21页 |
| ·其它类型切片 | 第21页 |
| ·形式化方法定义 | 第21-22页 |
| ·形式化方法分类 | 第22-27页 |
| ·有穷状态机 | 第22页 |
| ·Petri网 | 第22-23页 |
| ·Z语言 | 第23-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 一种选择切片准则的方法 | 第28-41页 |
| ·切片准则 | 第28页 |
| ·软件的体系结构 | 第28-29页 |
| ·系统的体系结构 | 第28-29页 |
| ·系统的构件 | 第29页 |
| ·切片的粒度问题 | 第29-31页 |
| ·粗粒度切片 | 第29-30页 |
| ·粗粒度切片和细粒度切片的比较 | 第30页 |
| ·扩展粗粒度切片 | 第30页 |
| ·对系统结构理解的评价方法 | 第30-31页 |
| ·一种选择切片准则的方法 | 第31-40页 |
| ·切片算法分析 | 第31-35页 |
| ·相关定义 | 第35-36页 |
| ·变化规律 | 第36-37页 |
| ·公式的推导 | 第37-38页 |
| ·计算的步骤 | 第38页 |
| ·实验验证 | 第38-39页 |
| ·该方法的优点 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第4章 在特定领域环境下的应用 | 第41-53页 |
| ·实验的设计思路 | 第41页 |
| ·实验的设计思路 | 第41页 |
| ·实验的设计步骤 | 第41页 |
| ·软件体系结构设计 | 第41-44页 |
| ·特定领域的自然语言需求分析 | 第44-45页 |
| ·特定领域的选择及需求分析 | 第44-45页 |
| ·简化特定领域 | 第45页 |
| ·形式化需求分析 | 第45-50页 |
| ·形式化需求分析的必要性 | 第45-47页 |
| ·形式化语言选择 | 第47页 |
| ·Z语言描述的需求分析 | 第47-50页 |
| ·切片技术在特定领域下的应用 | 第50-52页 |
| ·源程序的获取 | 第50页 |
| ·切片技术在特定领域下的应用 | 第50-51页 |
| ·获取特定领域的系统结构 | 第51-52页 |
| ·实验结论 | 第52页 |
| ·本章小结 | 第52-53页 |
| 总结与展望 | 第53-55页 |
| 参考文献 | 第55-59页 |
| 致谢 | 第59-60页 |
| 附录A 攻读硕士学位期间所发表的学术论文 | 第60页 |
