摘要
提出了一种基于精确需求定义的软件开发方法,在软件需求层面,采用易于开发人员理解的"伪代码"形式,精确定义每条功能需求,以此消除自然语言描述的模糊性。即在需求阶段就完整地定义出软件要包含的所有信息内容,并以"需求变量"的形式在规格书中表示出来。以iCC200型ATP(列车自动保护)软件为例,说明了该方法在安全苛求系统开发中的应用。实践表明,该方法能够避免使用自然语言描述需求的模糊性,减少项目后期的风险,也便于对产品的测试和验证工作。
A software development methodology based on the precise requirement definition is presented, which requires that the information contained in software shall be defined at the requirement analysis phase as much as possible, and be expressed as the form of ＂requirement variable＂ in the specification. In this paper the application of this method for the development of a safety critical systern-- iCC2（10 ATP software is illustrated, and the practical proof shows that this method could avoid the ambiguity of requirements described by natural language, reduce risks at the late period of a project, and facilitate the product testing and validation.
出处
《城市轨道交通研究》
北大核心
2013年第5期92-95,共4页
Urban Mass Transit
基金
上海市科委科研计划项目(1151153600)
关键词
列车自动保护
软件需求
精确需求定义
安全苛求系统
ATP （automatic train protection）
software requirement
precise requirement definition
safety critical system
