评审结束
FSR001-SWPARA001
提供指导
FSR001-SWFSR001
语句覆盖
软件架构设计SIL等级要求
验证覆盖
安全要求规范整合
软件模块设计评审
条件组合覆盖
知识库：展示 GBT 19001 “8.3章节 产品和服务的设计与开发” 章节
上传/链接 GBT 19001 / ISO 9001 质量手册/质量证书
软件集成测试表及其变更管理
函数流程图
上传
系统失效的控制策略描述
单元测试
函数接口表
软件单元测试评审
全部覆盖
软件单元测试表
函数流程图绘制
配置管理
软件安全要求规范 SIL
硬件MCU使用手册
软件编码审批
FSR001-SWFR001
模块设计、函数、源文件归属汇总
软件DFD
软件模块和集成测试SIL等级要求
标注安全注意事项
结构化方法与结构图
带入，逐条进行编写
绘制
系统：ID规则引擎
数据结构变量与常量表及其变更管理
路径覆盖
软件集成测试评审
嵌入
函数名称
知识库：GBT 20438.3 附录表A.5
软件系统架构图
集成
软件模块设计SIL等级要求
变量取值导引
软件覆盖率测试表
软件开发计划
软件设计与实现
软件功能测试评审
子系统功能模块安全要求分配总表
输入
知识库：GBT 20438.3 附录表A.6
工具Splint
软件安全需求规范SIL等级要求
评估结果
案例库：案例文字描述，引导用户输入
包含的性能参数
自动关联软件需求规范ID，并生成软件系统设计条目
案例库：提供设计范例
软件编码验证检查表
软件系统设计及变更管理
判定-条件覆盖
软件设计和编码标准
软件要求分级PLa~e
自动导入
mcu说明书
在线验证测试
函数名称自动导入
其他补充要求 SIL
案例库：示例大纲
安全要求规范过程组
硬件资源使用
模块设计书
软件系统设计 SIL
对应带入展示
生成
软件功能测试SIL等级要求
软件系统设计变更管理
芯片配置表
安全需求
模块设计描述和源文件归属内容
功能需求（非安全）
知识库：GBT 20438.3 附录表A.2
系统安全设计过程组
汇总
支持
软件单元验证
判断覆盖率
白盒测试
硬件资源使用验证
树形结构图
参考知识库：GBT 20438.3附录B.1~B.9自评
硬件测试
软件安全要求规范说明
软件安全要求规范评审会议记录
ID命名
下一过程组
质量管理系统
评审报告
软件功能测试 SIL
开发工具要求
知识库：GBT 20438.3 附录表A.1
函数接口表及其变更管理
FSR001-SWSR001
软件系统设计编写
黑盒测试
技术措施实现矩阵 SIL
软件系统设计评审
软件编码验证
文字描述
软件技术需求规范
开始
自动关联
软件模块集成测试 SIL
软件设计编码与单元测试 SIL
软件单元测试汇总
条件覆盖
知识库：GBT 20438.3 附录表A.4
软件使用场景与方法描述
TOP DOWN逐层测试方法
软件模块设计 SIL
参考知识库：GBT 20438.3附录A.1~A.10自评
开发计划甘特图
