摘要：轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社