王定涛 贺涛 祝国锦

摘 要：轨道交通软件作为SL4级别的高安全型软件，其软件开发过程需要生成相应的证据，显示其输出可追踪至相应的活动及输入。在软件开发流程和安全验证管理中，本文对软件生命周期的文档通过提取文档结构的追溯矩阵对应ID，私有定制正则表达式在需求管理工具中进行文档追溯管理。通过定制报告生成软件文档上下追溯管理报告。满足安全认证标准EN 50128：2011/IEC 62279：2015对高安全性软件追溯性的要求。

关键词：轨道交通；安全验证；文档追溯；需求管理

在轨道交通领域，软件开发各个阶段的可追溯性[ 1 ]，在国际安全标准IEC 62279中被明确要求，在高安全软件的安全认证流程中，从系统需求到软件需求、一直到源代码之间的可追踪性，可通过追踪性来验证所有需求是否被完整地实现。需求管理作为需求工程的主要内容[ 2 ]。很多时候作为一个软件能否成功的标准。而借助于需求管理工具可以有效解决软件项目生命周期中需求管理方面的问题，有效缩减成本[ 3 ]。需求追踪管理工具有需求追踪和影响分析的解决方案，能够规范软件设计团队流程。同时软件的需求管理是软件的设计、开发和维护的重要前提[ 4 ]。相对于人工建立的追溯矩阵，所有的内容都需要从Word文档中手动提取相应追溯矩阵，费时费力。基于需求管理工具对软件全过程开发文档进行有效的控制。对软件开发各个阶段的开发、测试以及验证文档在需求管理工具中进行关联性定义和跟踪。……