面向软件行为和多视点的需求模型检测方法研究
| 摘要 | 第1-8页 |
| Abstract | 第8-11页 |
| 目录 | 第11-14页 |
| 第1章 导论 | 第14-22页 |
| ·前言 | 第14-15页 |
| ·软件需求 | 第15-16页 |
| ·需求模型 | 第16-17页 |
| ·需求模型的形式化验证 | 第17-18页 |
| ·研究目的和意义 | 第18-21页 |
| ·研究背景和动机 | 第18-20页 |
| ·主要研究内容 | 第20页 |
| ·论文结构 | 第20-21页 |
| ·本文的贡献与创新 | 第21页 |
| ·本章小结 | 第21-22页 |
| 第2章 形式化验证的主要方法和理论 | 第22-29页 |
| ·现有的方法与工具 | 第22-27页 |
| ·定理推演方法 | 第22-24页 |
| ·模型检测方法 | 第24-26页 |
| ·模型转换方法 | 第26-27页 |
| ·现有方法中存在的问题 | 第27-28页 |
| ·在需求建模中的可用性分析 | 第27页 |
| ·基于多视点以及行为的模型检测问题 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第3章 基于行为以及多视点的需求建模 | 第29-53页 |
| ·基于行为以及多视点的需求建模方法 | 第29-34页 |
| ·基本概念 | 第29-31页 |
| ·建模过程简介 | 第31-34页 |
| ·行为描述语言(BDL)的语法 | 第34-39页 |
| ·原子行为定义 | 第34-35页 |
| ·复合行为定义 | 第35-36页 |
| ·场景表达式定义 | 第36-37页 |
| ·视点表达式定义 | 第37页 |
| ·行为之间的通信 | 第37-39页 |
| ·行为描述语言(BDL)的语义 | 第39-52页 |
| ·行为参与者的局部状态 | 第40-42页 |
| ·系统行为模型的演化状态 | 第42-50页 |
| ·完整的执行语义 | 第50-52页 |
| ·本章小结 | 第52-53页 |
| 第4章 基于行为模型的系统特性描述 | 第53-69页 |
| ·系统的特性 | 第53-55页 |
| ·系统特性概述 | 第53-55页 |
| ·系统特性和行为 | 第55页 |
| ·行为时序逻辑 | 第55-60页 |
| ·分支时序逻辑 | 第55-56页 |
| ·行为时序逻辑 | 第56-60页 |
| ·系统功能相关特性的描述 | 第60-65页 |
| ·安全性描述模板 | 第61-63页 |
| ·可信性描述模板 | 第63页 |
| ·部分终止性描述模板 | 第63-64页 |
| ·一致性描述模板 | 第64-65页 |
| ·模板完备性讨论 | 第65页 |
| ·系统部分质量属性描述 | 第65-68页 |
| ·行为执行速率 | 第66-67页 |
| ·回报模型 | 第67-68页 |
| ·方法分析 | 第68页 |
| ·本章小结 | 第68-69页 |
| 第5章 系统功能相关特性的检测 | 第69-106页 |
| ·基本检测方法和原理 | 第69-83页 |
| ·行为模型的Kripke结构 | 第70-75页 |
| ·特性解释的生成 | 第75-78页 |
| ·完备性和可靠性分析 | 第78-82页 |
| ·基于行为模型的On-The-Fly检测方法 | 第82-83页 |
| ·基于行为模型的合成推理检测 | 第83-90页 |
| ·合成推理 | 第83-85页 |
| ·基于行为模型的合成推理 | 第85-87页 |
| ·合成推理中特性保持的分析 | 第87-89页 |
| ·方法分析 | 第89-90页 |
| ·基于行为模型的命题抽象检测 | 第90-105页 |
| ·状态的抽象 | 第93-97页 |
| ·迁移的抽象 | 第97-99页 |
| ·命题抽象中特性保持的分析 | 第99-105页 |
| ·方法分析 | 第105页 |
| ·本章小结 | 第105-106页 |
| 第6章 部分质量属性的检测和分析 | 第106-122页 |
| ·相关方法分析 | 第106-108页 |
| ·基于行为模型的系统质量检测 | 第108-116页 |
| ·基本检测原理 | 第108-110页 |
| ·行为模型的状态迁移速率 | 第110-111页 |
| ·马尔可夫随机过程 | 第111-115页 |
| ·系统部分质量属性分析 | 第115-116页 |
| ·检测过程分析 | 第116-117页 |
| ·实例分析 | 第117-121页 |
| ·本章小结 | 第121-122页 |
| 第7章 实例分析:网络图书销售系统 | 第122-141页 |
| ·系统概况 | 第122-123页 |
| ·需求建模 | 第123-133页 |
| ·划分问题域 | 第124页 |
| ·标识视点 | 第124页 |
| ·划分场景并建立行为模型 | 第124-133页 |
| ·系统特性分析 | 第133-140页 |
| ·安全性分析 | 第135-137页 |
| ·可信性分析 | 第137-138页 |
| ·部分终止性分析 | 第138-139页 |
| ·一致性分析 | 第139-140页 |
| ·本章小节 | 第140-141页 |
| 第8章 总结与展望 | 第141-143页 |
| 参考文献 | 第143-150页 |
| 攻读博士学位期间发表的主要论文 | 第150-151页 |
| 攻读博士学位期间参与的科研项目 | 第151-152页 |
| 致谢 | 第152页 |
