构件组装中“特征干扰问题”的时序逻辑检测方法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-16页 |
| ·研究背景 | 第8页 |
| ·特征和特征干扰问题 | 第8-12页 |
| ·电信领域中的特征和特征干扰问题 | 第8-10页 |
| ·软件领域的特征及特征干扰问题的定义 | 第10页 |
| ·软件领域特征和特征干扰问题的特点 | 第10-11页 |
| ·软件系统中的特征干扰问题实例 | 第11-12页 |
| ·特征干扰问题研究现状 | 第12-14页 |
| ·本文的内容安排 | 第14-16页 |
| 第二章 时序逻辑语言XYZ／E | 第16-25页 |
| ·概述 | 第16页 |
| ·XYZ／E语言简介 | 第16-21页 |
| ·XYZ／E语言的基本概念 | 第16-19页 |
| ·状态转换与单元 | 第19-20页 |
| ·控制结构 | 第20-21页 |
| ·使用XYZ／E描述构件 | 第21-23页 |
| ·XYZ图 | 第23-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 特征干扰问题的时序逻辑检测方法 | 第25-34页 |
| ·概述 | 第25-26页 |
| ·状态控制层次的特征干扰检测方法 | 第26-31页 |
| ·结构层次的特征干扰检测方法 | 第31-33页 |
| ·本章小结 | 第33-34页 |
| 第四章 状态分析 | 第34-37页 |
| ·概述 | 第34页 |
| ·谓词相关性分析 | 第34-36页 |
| ·状态可达性分析 | 第36页 |
| ·本章小结 | 第36-37页 |
| 第五章 实例描述 | 第37-46页 |
| ·IP过滤系统中的特征干扰问题检测 | 第37-39页 |
| ·Email系统中的特征和特征干扰问题 | 第39-44页 |
| ·自动回复构件不同实例间特征干扰问题的检测 | 第40-42页 |
| ·自动回复与消息过滤构件间特征干扰问题的检测 | 第42-44页 |
| ·本章小结 | 第44-46页 |
| 第六章 结论 | 第46-48页 |
| 附录: 需求分析阶段中特征干扰问题的检测 | 第48-51页 |
| 参考文献 | 第51-56页 |
| 致谢 | 第56-57页 |
| 攻读硕士期间发表的文章 | 第57页 |
