用户名:
密码:
登 录
个人中心
系统维护
用户注册
联系我们
当前位置 >
首页
> 公式、表格、符号、图形细览
安全性评估
标准号:
GJB/Z 142-2004
标准名称:军用软件安全性分析指南
2004-09-20
同源图形
低频率运行模式软件安
高频率或连续运行模式
本指导性技术文件的结
根据后果决定验证和确
根据安全完整性级别确
关于意外风险等级的示
风险等级解释
风险图示例中的有关数
风险图示例中的有关数
软件需求分析
软件结构设计
软件结构设计
4 软件详细设计和编码
软件测试和软件集成
系统集成
软件确认
软件变更
软件验证
设计和编码标准
动态分析和测试
功能测试和黑盒测试
失效分析
建模
性能测试
半形式化方法
静态分析
模块方法
针对特定编程语言的建
针对特定编程语言的建
初步危险表
初步危险表
相关图形
区域安全性分析流程图
GJB/Z 99-97
系统安全工程手册
软件开发各阶段与GJB9
GJB/Z 99-97
系统安全工程手册
榴─5引信发射周期前
GJB 346-87
引信安全系统失效率计
榴─5引信发射周期前
GJB 346-87
引信安全系统失效率计
榴─5引信发射周期内
GJB 346-87
引信安全系统失效率计
榴─5引信发射周期内
GJB 346-87
引信安全系统失效率计
榴─5引信发射周期后
GJB 346-87
引信安全系统失效率计
榴─5引信发射周期后
GJB 346-87
引信安全系统失效率计
电─22引信发射周期前
GJB 346-87
引信安全系统失效率计
电─22引信发射周期前
GJB 346-87
引信安全系统失效率计