面向领域的软件需求一致性验证方法研究
| 摘要 | 第1-7页 |
| Abstract | 第7-14页 |
| 第1章 绪论 | 第14-34页 |
| ·研究的目的和意义 | 第14-16页 |
| ·需求验证研究内容 | 第16-19页 |
| ·需求形式化 | 第16页 |
| ·需求不一致管理 | 第16-19页 |
| ·需求验证研究现状 | 第19-29页 |
| ·国内外相关研究比较 | 第19-21页 |
| ·依存理论及应用 | 第21-23页 |
| ·自然语言需求形式化 | 第23-25页 |
| ·需求重要度与需求优先级 | 第25-28页 |
| ·相似度和相关度 | 第28-29页 |
| ·存在问题 | 第29-30页 |
| ·论文主要工作 | 第30-32页 |
| ·论文组织结构 | 第32-34页 |
| 第2章 基于依存分析树的需求预处理 | 第34-51页 |
| ·需求树模型 | 第34-36页 |
| ·需求形式化过程 | 第34-35页 |
| ·需求树的构建 | 第35-36页 |
| ·需求关键词切分 | 第36-41页 |
| ·切词词典结构 | 第37-38页 |
| ·需求词汇切分算法 | 第38-39页 |
| ·需求关键词结构 | 第39-40页 |
| ·细化需求树的形成 | 第40-41页 |
| ·依存分析树的构建与更新 | 第41-49页 |
| ·依存分析树库建构方法 | 第41-43页 |
| ·依存分析树模型结构 | 第43-45页 |
| ·依存分析树建树与更新算法 | 第45-46页 |
| ·算法复杂度及性能分析 | 第46-47页 |
| ·实验及结果分析 | 第47-49页 |
| ·本章小结 | 第49-51页 |
| 第3章 基于概念从属森林的需求形式化 | 第51-68页 |
| ·需求形式化方法选择 | 第51-53页 |
| ·依存分析树库 | 第51-52页 |
| ·依存需求树 | 第52页 |
| ·概念从属树库 | 第52页 |
| ·完全概念从属树 | 第52-53页 |
| ·概念从属树模型 | 第53-56页 |
| ·概念从属理论 | 第53-54页 |
| ·概念从属树概念的提出 | 第54页 |
| ·概念从属树结构 | 第54-56页 |
| ·概念从属森林模型 | 第56-61页 |
| ·概念从属森林的定义 | 第56-57页 |
| ·概念从属森林的建构与更新算法 | 第57-59页 |
| ·算法复杂度及性能分析 | 第59-60页 |
| ·实验及结果分析 | 第60-61页 |
| ·从属关系的度量 | 第61-63页 |
| ·概念从属强度计算 | 第62页 |
| ·内语义相似度计算 | 第62-63页 |
| ·需求遗漏性的检查 | 第63页 |
| ·森林操作函数 | 第63-67页 |
| ·森林操作的归纳 | 第64页 |
| ·森林操作的存储结构 | 第64-65页 |
| ·森林操作的提取算法 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第4章 基于关键性度量的需求树剪枝算法 | 第68-86页 |
| ·需求关键词预处理过程 | 第68-74页 |
| ·基于词频的去词操作 | 第68-69页 |
| ·需求同义规范词扩展 | 第69-71页 |
| ·局部重要性比例标度填充算法 | 第71-72页 |
| ·全局重要性比例标度填充算法 | 第72-74页 |
| ·需求关键度计算 | 第74-81页 |
| ·需求关键度的定义 | 第75-76页 |
| ·外语义相似度向量构造 | 第76-77页 |
| ·需求关键词权重向量构造 | 第77-81页 |
| ·需求关键词重要性标度向量 | 第81页 |
| ·基于需求关键度的剪枝算法 | 第81-85页 |
| ·需求树剪枝算法 | 第82-83页 |
| ·需求依存分析树剪枝算法 | 第83-84页 |
| ·算法复杂度分析 | 第84-85页 |
| ·本章小结 | 第85-86页 |
| 第5章 需求相似性与相关性度量 | 第86-102页 |
| ·需求向量相似度 | 第86-89页 |
| ·需求向量相似度计算 | 第86-88页 |
| ·潜在相似的判定 | 第88-89页 |
| ·需求依存相似度 | 第89-93页 |
| ·动机 | 第90页 |
| ·需求依存相似度定理 | 第90-93页 |
| ·需求亲缘相似度 | 第93-94页 |
| ·动机 | 第93页 |
| ·需求亲缘相似度计算 | 第93-94页 |
| ·需求相关度 | 第94-100页 |
| ·需求相关度分类 | 第95-97页 |
| ·概念从属森林模型下的相关性定义 | 第97-99页 |
| ·需求相关度计算 | 第99-100页 |
| ·本章小结 | 第100-102页 |
| 第6章 基于需求度量的一致性检查算法 | 第102-118页 |
| ·需求检查适用对象分析 | 第102-105页 |
| ·需求一致性检查算法 | 第105-109页 |
| ·算法假设与阈值设定 | 第106页 |
| ·需求一致性检查算法 | 第106-107页 |
| ·实验及结果分析 | 第107-109页 |
| ·算法在社会保障领域的典型应用 | 第109-117页 |
| ·相似且属性值相同的需求冗余检查实例 | 第110-111页 |
| ·相似且属性值不同的需求矛盾检查实例 | 第111-112页 |
| ·相似且属性值域相同的需求冗余检查实例 | 第112-114页 |
| ·相似且属性值域相同的需求矛盾检查实例 | 第114-115页 |
| ·相关且属性等式相等的需求冗余检查实例 | 第115-117页 |
| ·本章小结 | 第117-118页 |
| 结论 | 第118-120页 |
| 参考文献 | 第120-131页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第131-133页 |
| 致谢 | 第133页 |
