基于概念化心智模型的软件需求验证过程的研究及工具的实现
| 第一章 绪论 | 第1-20页 |
| ·研究背景 | 第14-17页 |
| ·软件需求 | 第15-16页 |
| ·需求验证问题 | 第16-17页 |
| ·解决方案 | 第17-19页 |
| ·心智模型 | 第17-18页 |
| ·分层策略 | 第18页 |
| ·需求跟踪机制 | 第18-19页 |
| ·本文的主要贡献 | 第19页 |
| ·本文的组织结构 | 第19-20页 |
| 第二章 PFNET技术 | 第20-27页 |
| ·路径搜索网络技术的应用领域 | 第20-21页 |
| ·路径搜索网络图的表示 | 第21-24页 |
| ·路径搜索网络图的特性 | 第24-25页 |
| ·与其他技术的对比 | 第25页 |
| ·路径搜索网络评估知识模型的过程 | 第25-26页 |
| ·小结 | 第26-27页 |
| 第三章 需求验证的辅助机制 | 第27-32页 |
| ·需求的分层策略 | 第27页 |
| ·需求跟踪机制 | 第27-32页 |
| ·需求跟踪能力 | 第28-29页 |
| ·需求跟踪矩阵 | 第29-30页 |
| ·需求跟踪过程 | 第30-31页 |
| ·小结 | 第31-32页 |
| 第四章 需求验证模型 | 第32-55页 |
| ·介绍 | 第32页 |
| ·PFNET技术的初步运用 | 第32-41页 |
| ·GT-PD算法 | 第32-35页 |
| ·需求验证过程 | 第35-41页 |
| ·小结与讨论 | 第41页 |
| ·PFNET技术运用的改进 | 第41-54页 |
| ·ST-NP算法 | 第42页 |
| ·改进的需求验证模型 | 第42-49页 |
| ·案例评估与性能分析 | 第49-53页 |
| ·小结 | 第53-54页 |
| ·总结 | 第54-55页 |
| 第五章 软件需求验证管理系统(SRVM)的实现 | 第55-75页 |
| ·目标与任务 | 第55页 |
| ·系统设计 | 第55-62页 |
| ·系统模型 | 第55-56页 |
| ·系统的体系结构 | 第56-58页 |
| ·系统的框架设计 | 第58-60页 |
| ·系统的控制流/处理流 | 第60-62页 |
| ·系统开发 | 第62-67页 |
| ·开发工具 | 第62-63页 |
| ·包和类结构 | 第63-64页 |
| ·权限控制 | 第64-67页 |
| ·数据库设计 | 第67-70页 |
| ·数据结构设计的原则 | 第67-68页 |
| ·数据库建模 | 第68-70页 |
| ·关键算法 | 第70-72页 |
| ·系统测试与评估 | 第72-74页 |
| ·系统的页面流程 | 第72-74页 |
| ·系统特点 | 第74页 |
| ·运行环境/系统评估 | 第74页 |
| ·小结 | 第74-75页 |
| 第六章 需求验证模型的扩展 | 第75-80页 |
| ·引进的策略 | 第75页 |
| ·验证过程改进 | 第75页 |
| ·大型案例评估 | 第75-79页 |
| ·小结 | 第79-80页 |
| 第七章 总结与展望 | 第80-83页 |
| ·工作总结及感想 | 第80-81页 |
| ·对未来工作的展望 | 第81-83页 |
| 参考文献 | 第83-88页 |
| 致谢 | 第88-89页 |
