| 基于V模型的ATS软件验证方法研究 |
| |
| 引用本文： | 梁鸿煜,燕飞. 基于V模型的ATS软件验证方法研究[J]. 都市快轨交通, 2017, 30(3): 35-39. DOI: 10.3969/j.issn.1672-6073.2017.03.007 |
| |
| 作者姓名： | 梁鸿煜 燕飞 |
| |
| 作者单位： | 1. 交控科技股份有限公司,北京,100070;2. 北京交通大学电子信息工程学院,北京,100044 |
| |
| 摘 要： | 轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。
|
| 关 键 词： | 城市轨道交通 自动列车监控 验证 V模型 |
| 修稿时间： | 2017-11-10 |
Using V-model Method for Verifying ATS Software |
| |
| LIANG Hongyu,YAN Fei. Using V-model Method for Verifying ATS Software[J]. Urban Rapid Rail Transit, 2017, 30(3): 35-39. DOI: 10.3969/j.issn.1672-6073.2017.03.007 |
| |
| Authors: | LIANG Hongyu YAN Fei |
| |
| Affiliation: | Beijing Traffic Control Technology Co., Ltd. |
| |
| Abstract: | |
| |
| Keywords: | urban rail transit ATS verification V-model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《都市快轨交通》浏览原始摘要信息 |
|
点击此处可从《都市快轨交通》下载免费的PDF全文 |
|
