基于模型的软件需求验证方法研究与应用 |
| |
引用本文: | 陈弘博.基于模型的软件需求验证方法研究与应用[J].铁路通信信号工程技术,2018(9). |
| |
作者姓名: | 陈弘博 |
| |
作者单位: | 北京全路通信信号研究设计院集团有限公司 |
| |
摘 要: | 需求验证是软件需求阶段的一个重要环节,验证不充分的需求给软件安全稳定运行带来较大的风险。从形式化需求验证的基本原理和可操作性出发,提出一个基于模型的软件需求验证方法及应用方案。结合具体应用实例,分析如何应用该模型来指导需求验证过程。理论和实践分析表明:基于模型的软件需求验证方法能够有效提升需求验证工作的质量,降低项目需求风险。
|
本文献已被 CNKI 等数据库收录! |
|