轨道交通轨旁子系统的软件源代码安全验证方法、系统、计算设备及计算机可读存储介质

本发明公开了一种轨道交通轨旁子系统的软件源代码安全验证方法、系统、计算设备及计算机可读存储介质。所述方法包括：步骤S1、基于软件需求安全验证报告，提取安全需求和软件需求的追踪关系并自动生成安全需求‑软件需求追踪表格<S_SR>；步骤S2、基于软件源代码中的SCADE模型注释文件、函数注释块以及软件源代码的走读结果，提取软件需求和软件源代码的追踪关系并自动生成软件需求‑软件源代码验证表格<SR_Code>；步骤S3、以软件需求ID字段为键，拼接表格<S_SR>和表格<SR_Code>，并在拼接后的表格中增加综合验证结论字段，得到软件源代码安全验证表格<SwSC_SVR>；综合验证结论字段用于存储软件安全工程师根据代码走读结果生成的最终结论。