基于V模型的ATS软件验证方法研究

Using V-model Method for Verifying ATS Software

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

The signal system must be thoroughly examined before it can be applied in engineering. Taking the automatic train supervision system （ATS） as an example, this paper attempts to investigate the verification method used for the signal systems under the lifecycle of V - model. The development cycle is divided into 3 stages, including requirement analysis, design imple- mentation and test verification, in order to demonstrate the validation activities. The model is divided into different stages with varied methods used in each stage of a product＇s lifecycle, including assessment, traceability analysis and test analysis, to en- sure a higher degree of accuracy of the system. Description of ATS system validation activities is a huge project, all validation activities should be performed at all stages of the product development lifecycle, and collecting sufficient objective evidence should be done to demonstrate that the output of each stage of the product meets the requirements.