基于精确需求定义方法的列车自动保护(ATP)软件开发

摘要：

提出了一种基于精确需求定义的软件开发方法,在软件需求层面,采用易于开发人员理解的“伪代码”形式,精确定义每条功能需求,以此消除自然语言描述的模糊性.即在需求阶段就完整地定义出软件要包含的所有信息内容,并以“需求变量”的形式在规格书中表示出来.以iCC200型ATP(列车自动保护)软件为例,说明了该方法在安全苛求系统开发中的应用.实践表明,该方法能够避免使用自然语言描述需求的模糊性,减少项目后期的风险,也便于对产品的测试和验证工作.

关键词：列车自动保护、软件需求、精确需求定义、安全苛求系统

所属期刊栏目：16

分类号：U231.6(特种铁路)

资助基金：上海市科委科研计划项目1151153600

在线出版日期：2013-07-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：92-95