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