一种软件安全需求验证装置制造方法及图纸

本发明专利技术公开了一种软件安全需求验证装置

【技术实现步骤摘要】
一种软件安全需求验证装置、方法及计算机设备


[0001]本专利技术涉及计算机软件
，具体涉及一种软件安全需求验证装置
、
一种软件安全需求验证方法以及一种计算机设备
。

技术介绍

[0002]轨道交通安全软件开发采用业内广泛认可的
EN50128:2011
标准，该标准要求软件开发的各个阶段均应开展相应的验证活动
。
软件验证活动的目标是检查并基于证据判断指定开发阶段的输出项在完整性
、
正确性和一致性方面是否满足要求和计划
。
对于安全软件来说，需要在软件需求阶段识别出安全相关的软件需求并对软件安全需求进行验证，确保软件需求规范完全满足系统安全需求
、
软件需求测试用例完全满足软件安全需求
。
通过软件需求的安全验证活动，识别软件需求描述不准确
、
无法覆盖系统安全需求等问题；安全相关软件测试用例测试场景覆盖不全
、
预期结果错误等导致系统安全需求无法正确落实到软件需求的问题
。
软件需求的安全验证是轨道交通信号系统中安全设备生命周期中非常重要的一部分活动，对提高整个系统的安全性有着极其重要的意义
。
[0003]目前轨道交通安全软件开发阶段的安全验证活动仅对软件需求和系统架构
、
软件需求和软件确认测试用例之间的追踪覆盖进行验证，未直接建立软件需求和系统安全需求之间的追踪关系
。
软件安全需求验证人员需获取系统需求和安全需求之间的追踪关系矩阵，系统架构和系统需求之间的追踪关系矩阵，软件需求和系统架构之间的追踪关系矩阵，软件确认测试用例和软件需求之间的追踪关系矩阵，以系统安全需求作为输入，使用
excel
工具人工复制粘贴以上矩阵中和安全需求相关的系统需求
、
系统架构
、
软件需求
、
软件确认测试用例从而建立从系统安全需求到软件确认测试用例之间的追踪关系，人工成本高且效率低，耗费大量时间和资源的同时，还可能存在人员疏忽导致的软件安全需求疏漏，进而导致系统安全需求管理不到位的问题
。

技术实现思路

[0004]本专利技术的目的是为了提供一种软件安全需求验证装置
、
方法及计算机设备，能够提升软件安全需求验证工作的效率
。
[0005]为达到上述目的，本专利技术通过以下技术方案实现：
[0006]一种软件安全需求验证装置，包括：数据导入单元，用于读取需求追踪矩阵表，并获取安全需求追踪继承关系；模型建立单元，用于根据所述安全需求追踪继承关系建立系统安全需求追踪模型；数据处理单元，用于根据所述需求追踪矩阵表和所述系统安全需求追踪模型，生成系统安全需求与软件需求追踪矩阵
。
[0007]优选地，所述装置还包括，人机交互单元，供安全验证人员对所述系统安全需求与软件需求追踪矩阵进行验证
。
[0008]进一步地，所述人机交互单元还用于供安全验证人员选择安全验证阶段
。
[0009]进一步地，所述装置还包括，数据统计单元，统计并输出验证结果
。
[0010]优选地，所述需求追踪矩阵表包括，系统安全需求与系统需求追踪矩阵表
、
系统需求与系统架构追踪矩阵表
、
系统架构与软件需求追踪矩阵表以及软件需求与软件确认测试用例追踪矩阵表
。
[0011]进一步地，所述系统安全需求追踪模型中的元素包括，系统安全需求
、
系统需求
、
系统架构
、
软件需求以及软件确认测试用例
。
[0012]一种采用上述的软件安全需求验证装置的软件安全需求验证方法，包括：数据导入单元通过读取需求追踪矩阵表，获取安全需求追踪继承关系；模型建立单元根据所述安全需求追踪继承关系，建立系统安全需求追踪模型；数据处理单元根据所述需求追踪矩阵表和所述系统安全需求追踪模型，生成系统安全需求与软件需求追踪矩阵
。
[0013]优选地，所述方法还包括，安全验证人员通过人机交互单元对所述系统安全需求与软件需求追踪矩阵进行验证
。
[0014]进一步地，所述安全验证人员通过人机交互单元对所述系统安全需求与软件需求追踪矩阵进行验证，包括，通过人机交互单元选择需验证的系统安全需求，筛选出分配到软件需求的系统安全需求；分析软件需求是否能覆盖系统安全需求以及软件确认测试用例是否能覆盖软件需求，从而给出验证是否通过的结论
。
[0015]进一步地，所述方法还包括：安全验证人员通过所述人机交互单元选择安全验证阶段，所述安全验证阶段包括软件需求阶段
。
[0016]再进一步地，所述方法还包括，判定系统安全需求是否需要在软件需求阶段进行验证
。
[0017]进一步地，所述方法还包括，所述数据统计单元统计并输出验证结果
。
[0018]再进一步地，所述数据统计单元统计并输出验证结果包括：将验证未通过的系统安全需求，根据未通过的原因，分类生成问题确认表
。
[0019]更进一步地，所述方法还包括，安全验证人员将所述问题确认表反馈给业务人员，业务人员确认问题并完成修改后重新发起安全验证
。
[0020]优选地，所述数据处理单元根据所述需求追踪矩阵表和所述系统安全需求追踪模型，生成系统安全需求与软件需求追踪矩阵，包括：数据处理单元轮询所述需求追踪矩阵表，生成软件安全验证表
。
[0021]进一步地，所述需求追踪矩阵表包括，系统安全需求与系统需求追踪矩阵表
、
系统需求与系统架构追踪矩阵表
、
系统架构与软件需求追踪矩阵表以及软件需求与软件确认测试用例追踪矩阵表，所述软件安全验证表包括：系统安全需求
ID、
系统安全需求描述
、
系统需求
ID、
系统需求描述
、
系统架构
ID、
系统架构描述
、
软件需求
ID、
软件需求描述
、
软件测试用例
ID、
软件测试用例描述
、
验证结论以及未关闭原因
。
[0022]一种计算机设备，包括处理器和机器可读存储介质，所述机器可读存储介质存储有能够被所述处理器执行的机器可执行指令，所述处理器执行所述机器可执行指令以实现上述的软件安全需求验证方法
。
[0023]本专利技术具有以下有益效果：
[0024]采用本专利技术的软件安全需求验证装置
、
方法及计算机设备，可以通过需求追踪矩阵表生成系统安全需求与软件需求追踪矩阵，从而获得系统安全需求与软件确认测试用例之间的追踪关系，省去了安全验证活动中人工复制粘贴等一本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.
一种软件安全需求验证装置，其特征在于，包括：数据导入单元，用于读取需求追踪矩阵表，并获取安全需求追踪继承关系；模型建立单元，用于根据所述安全需求追踪继承关系建立系统安全需求追踪模型；数据处理单元，用于根据所述需求追踪矩阵表和所述系统安全需求追踪模型，生成系统安全需求与软件需求追踪矩阵
。2.
如权利要求1所述的软件安全需求验证装置，其特征在于，还包括，人机交互单元，供安全验证人员对所述系统安全需求与软件需求追踪矩阵进行验证
。3.
如权利要求2所述的软件安全需求验证装置，其特征在于，所述人机交互单元还用于供安全验证人员选择安全验证阶段
。4.
如权利要求2所述的软件安全需求验证装置，其特征在于，还包括，数据统计单元，统计并输出验证结果
。5.
如权利要求1所述的软件安全需求验证装置，其特征在于，所述需求追踪矩阵表包括，系统安全需求与系统需求追踪矩阵表
、
系统需求与系统架构追踪矩阵表
、
系统架构与软件需求追踪矩阵表以及软件需求与软件确认测试用例追踪矩阵表
。6.
如权利要求5所述的软件安全需求验证装置，其特征在于，所述系统安全需求追踪模型中的元素包括，系统安全需求
、
系统需求
、
系统架构
、
软件需求以及软件确认测试用例
。7.
一种采用如权利要求1所述的软件安全需求验证装置的软件安全需求验证方法，其特征在于，包括：数据导入单元通过读取需求追踪矩阵表，获取安全需求追踪继承关系；模型建立单元根据所述安全需求追踪继承关系，建立系统安全需求追踪模型；数据处理单元根据所述需求追踪矩阵表和所述系统安全需求追踪模型，生成系统安全需求与软件需求追踪矩阵
。8.
如权利要求7所述的软件安全需求验证方法，其特征在于，所述软件安全需求验证装置还包括人机交互单元，所述方法还包括，安全验证人员通过人机交互单元对所述系统安全需求与软件需求追踪矩阵进行验证
。9.
如权利要求8所述的软件安全需求验证方法，其特征在于，所述安全验证人员通过人机交互单元对所述系统安全需求与软件需求追踪矩阵进行验证，包括：通过人机交互单元选择需验证的系统安全需求，筛选出分配到软件需求的系统安全需求；分析软件需求是否能覆盖系统安全需求以及软件确认测试用例是否能覆盖软件需求，从而给出验证是否通过的结论
。10.
如权利要求8所述的软件安全需求验...

【专利技术属性】
技术研发人员：焦婷，韩涛，付文佳，左建东，王薇，朱天民，
申请(专利权)人：卡斯柯信号有限公司，
类型：发明
国别省市：