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

常鸣

首页> 中文期刊> 《城市轨道交通研究》 >基于精确需求定义方法的列车自动保护(ATP)软件开发

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《城市轨道交通研究》 |2013年第5期|92-95|共4页
作者
常鸣;
展开▼
作者单位

卡斯柯信号有限公司,200071,上海;

展开▼
原文格式 PDF
正文语种 chi
中图分类 U231.6;
关键词
列车自动保护; 软件需求; 精确需求定义; 安全苛求系统;

相似文献

中文文献
外文文献
专利

1. 新的软件开发方法论需求：软件定义的高层构造 [J] . 应晶 ,吴朝晖 . 计算机科学 . 1994,第006期
2. 一种基于GNSS的站内列车精确定位方法 [J] . 马梓尧 ,王海峰 ,齐志华 . 铁道标准设计 . 2021,第002期
3. 基于需求驱动的雷达参数测试软件开发方法研究 [J] . 刘连照 ,王道酉 ,徐宙 . 计算机测量与控制 . 2021,第010期
4. 一种基于功能论的座舱工效设计需求定义方法 [J] . 刘璐 ,孙有朝 ,张燕军 . 哈尔滨商业大学学报（自然科学版） . 2016,第003期
5. 基于随机需求的单列车票额分配方法 [J] . 包云 ,刘军 ,刘江川 . 中国铁道科学 . 2015,第002期
6. 涡和湍流的新认识新思想新定义新方法新理论(1)涡的数学定义和精确识别方法 [C] . Chaoqun Liu ,刘超群 ,Shuling Tian . 首届“涡和湍流若干关键问题研究进展和再认识”研讨会 . 2017
7. 基于可执行软件定义的进化式软件开发方法研究 [A] . 吴明晖 . 2000

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

摘要

著录项

相似文献

相关主题

期刊订阅