GJB 中华人民共和国国家军用标准 FL 0112 GJB 7706-2012 军用嵌入式操作系统测评要求 Testing and evaluation requirements for military embedded operating system 2012-11-26 发布 2013-01-01实施 中国人民解放军总装备部‧批准 GJB 7706-2012 目 次 前言 III 范围· 引用文件· 3术语、定义和缩略语· 3.1 术语和定义 3.2 缩略语· 4 -般要求· 4.1 测试目的 4.2 测试内容 4.3 测试过程· 4.4 测试方法 4.5 测试用例· 4.6 测试管理· 4.7 文档编写· 4.8 测试工具 4.9 测试环境 5功能测试· 5.1 任务管理 5.2 任务同步与通信 5.3 时钟/定时器管理. 5.4 中断/异常管理·. 5.5 内存管理· 5.6 文件系统· 5.7 设备管理 5.8 网络通信· 5.9 剪裁配置功能 性能测试· 6 6.1 时间性能测试 10 6.2 空间资源性能测试 接口测试 8 安全性测试· 9 可靠性测试· 12 10 可维护性测试· 11 兼容性测试 12 人机交互界面测试· 13 安装性测试 13 14 余量测试 15 文档审 13 GJB 7706-2012 16 代码审查· ....14 17 评价准则· 附录 A (资料性附录) 军用嵌入式操作系统技术要求与军用嵌入式操作系统测评要求对照关系15 附录 B (规范性附录) 接口符合性测试断言···· ....16 II GJB 77062012 前言 本标准的附录B为规范性附录，附录A为资料性附录。 本标准由中国人民解放军总装备部电子信息基础部提出。 本标准起草单位：中国航天科工集团第二研究院七○六所、总装备部武器装备论证研究中心、中国 航空工业综合所、中国航空工业集团公司第六三一研究所、北京神舟航天软件技术有限公司、中国船舶 重工集团公司第七一六研究所、总参第五十七研究所。 本标准主要起草人：贺红卫、张文叶、刘新焕、吴琼、蒋桂芬、冯 帆、周广蕴、赵晓燕、 孙永泉、杨广华、刘新建、封演利、阙宏伟、丁旭、王海燕。 II GJB 7706-2012 车用嵌入式操作系统测评要求 1范围 本标准规定了军用嵌入式操作系统的测试类型、测试过程、测试环境、测试内容和评价准则。 本标准适用于军用嵌入式操作系统的测试与评价。 2引用文件 下列文件中的有关条款通过引用而成为本标准的条款。凡注日期或版次的引用文件，其后的任何修 改单(不包含勘误的内容)或修订版本都不适用于本标准，但提倡使用本标准的各方探讨使用其最新版本 的可能性。凡不注日期或版次的引用文件，其最新版本适用于本标准。 GB/T11457-2006信息技术软件工程术语 GJB438B-2009军用软件开发文档通用要求 GJB2786A-2009军用软件开发通用要求 GJB7710-2012军用嵌入式实时操作系统用户界面要求 GJB7713-2012军用嵌入式操作系统模块剪裁配置要求 GJB 7714-2012 军用嵌入式实时操作系统应用编程接口 GJB7718-2012军用嵌入式操作系统技术要求 GJB/Z141-2004军用软件测试指南 《军用软件测评实验室测评过程和技术能力要求》 总装备部电子信息基础部［2005]装电字第 324号文 3术语、定义和缩略语 3.1术语和定义 以及下列术语和定义适用于本标准。 3.1.1语句覆盖statement coverage 程序中的一条语句至少执行一次。 3.1.2分支覆盖decision coverage 程序中的一个入口和出口点至少执行一次，且程序中的一个判别至少在所有可能的输出中发生 次。 3.1.31 修正条件/判定覆盖MC/DCcoverage 中的每一个条件必须能独立影响判定的结果，即在其他条件不变的情况下，仅改变这个条件的值，可使 判定结果改变。 3.2缩略语 ARP——地址解析协议（AddressResolutionProtocol); CPU——中央处理单元(CenterProcessing Unit); HTTP——超文本传输协议（HypertextTransferProtocol); ICMP—— 网络控制报文协议（InternetProtocol）； IP——网络互连协议(InternetProtocol); 1 GJB 7706-2012 车用嵌入式操作系统测评要求 1范围 本标准规定了军用嵌入式操作系统的测试类型、测试过程、测试环境、测试内容和评价准则。 本标准适用于军用嵌入式操作系统的测试与评价。 2引用文件 下列文件中的有关条款通过引用而成为本标准的条款。凡注日期或版次的引用文件，其后的任何修 改单(不包含勘误的内容)或修订版本都不适用于本标准，但提倡使用本标准的各方探讨使用其最新版本 的可能性。凡不注日期或版次的引用文件，其最新版本适用于本标准。 GB/T11457-2006信息技术软件工程术语 GJB438B-2009军用软件开发文档通用要求 GJB2786A-2009军用软件开发通用要求 GJB7710-2012军用嵌入式实时操作系统用户界面要求 GJB7713-2012军用嵌入式操作系统模块剪裁配置要求 GJB 7714-2012 军用嵌入式实时操作系统应用编程接口 GJB7718-2012军用嵌入式操作系统技术要求 GJB/Z141-2004军用软件测试指南 《军用软件测评实验室测评过程和技术能力要求》 总装备部电子信息基础部［2005]装电字第 324号文 3术语、定义和缩略语 3.1术语和定义 以及下列术语和定义适用于本标准。 3.1.1语句覆盖statement coverage 程序中的一条语句至少执行一次。 3.1.2分支覆盖decision coverage 程序中的一个入口和出口点至少执行一次，且程序中的一个判别至少在所有可能的输出中发生 次。 3.1.31 修正条件/判定覆盖MC/DCcoverage 中的每一个条件必须能独立影响判定的结果，即在其他条件不变的情况下，仅改变这个条件的值，可使 判定结果改变。 3.2缩略语 ARP——地址解析协议（AddressResolutionProtocol); CPU——中央处理单元(CenterProcessing Unit); HTTP——超文本传输协议（HypertextTransferProtocol); ICMP—— 网络控制报文协议（InternetProtocol）； IP——网络互连协议(InternetProtocol); 1 GJB 7706-2012 车用嵌入式操作系统测评要求 1范围 本标准规定了军用嵌入式操作系统的测试类型、测试过程、测试环境、测试内容和评价准则。 本标准适用于军用嵌入式操作系统的测试与评价。 2引用文件 下列文件中的有关条款通过引用而成为本标准的条款。凡注日期或版次的引用文件，其后的任何修 改单(不包含勘误的内容)或修订版本都不适用于本标准，但提倡使用本标准的各方探讨使用其最新版本 的可能性。凡不注日期或版次的引用文件，其最新版本适用于本标准。 GB/T11457-2006信息技术软件工程术语 GJB438B-2009军用软件开发文档通用要求 GJB2786A-2009军用软件开发通用要求 GJB7710-2012军用嵌入式实时操作系统用户界面要求 GJB7713-2012军用嵌入式操作系统模块剪裁配置要求 GJB 7714-2012 军用嵌入式实时操作系统应用编程接口 GJB7718-2012军用嵌入式操作系统技术要求 GJB/Z141-2004军用软件测试指南 《军用软件测评实验室测评过程和技术能力要求》 总装备部电子信息基础部［2005]装电字第 324号文 3术语、定义和缩略语 3.1术语和定义 以及下列术语和定义适用于本标准。 3.1.1语句覆盖statement coverage 程序中的一条语句至少执行一次。 3.1.2分支覆盖decision coverage 程序中的一个入口和出口点至少执行一次，且程序中的一个判别至少在所有可能的输出中发生 次。 3.1.31 修正条件/判定覆盖MC/DCcoverage 中的每一个条件必须能独立影响判定的结果，即在其他条件不变的情况下，仅改变这个条件的值，可使 判定结果改变。 3.2缩略语 ARP——地址解析协议（AddressResolutionProtocol); CPU——中央处理单元(CenterProcessing Unit); HTTP——超文本传输协议（HypertextTransferProtocol); ICMP—— 网络控制报文协议（InternetProtocol）； IP——网络互连协议(InternetProtocol); 1