用户名:
密码:
登 录
个人中心
系统维护
用户注册
联系我们
当前位置 >
首页
> 公式、表格、符号、图形细览
针对特定编程语言的建议
标准号:
GJB/Z 142-2004
标准名称:军用软件安全性分析指南
2004-09-20
同源图形
低频率运行模式软件安
高频率或连续运行模式
本指导性技术文件的结
根据后果决定验证和确
根据安全完整性级别确
关于意外风险等级的示
风险等级解释
风险图示例中的有关数
风险图示例中的有关数
软件需求分析
软件结构设计
软件结构设计
4 软件详细设计和编码
软件测试和软件集成
系统集成
软件确认
软件变更
软件验证
安全性评估
设计和编码标准
动态分析和测试
功能测试和黑盒测试
失效分析
建模
性能测试
半形式化方法
静态分析
模块方法
针对特定编程语言的建
初步危险表
初步危险表
相关图形
-个使用电缆端部不发
GJB 973-90
柔软和半硬射频电缆总
制作电缆端部无电晕的
GJB 973A-2004
柔软和半硬射频电缆通
上、下铆模建议采用凹
GJB 131.2-86
无头铆钉干涉配合铆接
数据厍语言语句
GJB 1375.2-92
军用远程数据库访问SQ
工程更改建议的重理与
GJB 2183-94
飞机重量与平衡要求
建议的文体
GJB 2765.3-98
数据网协议一致性测试
针对于调用测试步缺省
GJB 2765.3-98
数据网协议一致性测试
针对测试调用树缺省的
GJB 2765.3-98
数据网协议一致性测试
Ⅲ类飞机建议的滚转性
GJB 2874-97
电传操纵系统飞机的飞
图A119 对应图A116中
GJB 2874-97
电传操纵系统飞机的飞