HB 8573－2020 民用飞机机载嵌入式操作系统 板级支持软件测试要求 BSP test requirements for airborne embedded operating system of civil aircraft 2020－09－14发布 2021－01－01实施 中华人民共和国工业和信息化部 发 布 ICS 49.020 V 07 HB 8573－2020 I 目 次 前言…………………………………………………………………………………………………………… II 1 范围…………………………………………………………………………………………………………1 2 规范性引用文件……………………………………………………………………………………………1 3 术语和定义…………………………………………………………………………………………………1 4 测试需求……………………………………………………………………………………………………2 5 测试环境与测试工具………………………………………………………………………………………2 6 测试类型……………………………………………………………………………………………………2 6.1 概述……………………………………………………………………………………………………2 6.2 代码审查………………………………………………………………………………………………2 6.3 功能测试………………………………………………………………………………………………3 6.4 空间访问测试…………………………………………………………………………………………3 6.5 中断保护分析…………………………………………………………………………………………3 6.6 驱动协同分析…………………………………………………………………………………………3 7 测试项………………………………………………………………………………………………………3 7.1 概述……………………………………………………………………………………………………3 7.2 模块初始化测试………………………………………………………………………………………4 7.3 处理器驱动测试………………………………………………………………………………………4 7.4 桥芯片驱动测试………………………………………………………………………………………5 7.5 中断控制器驱动测试…………………………………………………………………………………5 7.6 串口驱动测试…………………………………………………………………………………………6 7.7 网络驱动测试…………………………………………………………………………………………6 7.8 定时器驱动测试………………………………………………………………………………………7 7.9 Flash驱动测试………………………………………………………………………………………7 7.10 NVRAM 驱动测试……………………………………………………………………………………7 7.11 总线类驱动测试………………………… ……………………………………………………………8 7.12 外设类驱动测试………………………… ……………………………………………………………8 附录 A(资料性附录) 板级支持包测试类型选择指南……………………………………………………10 附录 B(资料性附录) 板级支持包测 试要点表…………………………… ………………………………11 HB 8573－2020 II 前 言 本标准的附录 A和附录 B为资料性附录。 本标准按照 GB/T 1.1－2009 给出的规则起草。 本标准由中国航空工业集团有限公司提出。 本标准由中国航空综合技术研究所归口。 本标准起草单位：中国航空工业集团公司西安航空计算技术研究所、中国航空综合技术研究所、中 国航空工业集团公司西安飞机设计研究所、中国航空工业集团公司成都飞机设计研究所。 本标准起草人：崔西宁、王 婷、王 宁(综合所)、黄保垒、周南明、魏学杭、戴小氐，母方欣。 HB 8573－2020 1 民用飞机机载嵌入式操作系统 板级支持软件测试要求 1 范围 本标准规定了用于机载设备的嵌入式操作系统板级支持软件的测试需求、测试目标、测试类型、测 试要点方面的内容。本文所指测试类型，是对 GJB/Z 141－2004 中描述的测试内容在测试板级支持软 件时的补充，适用于 GJB 27 86 A－2009 中定义的软件实现和单元测试、单元集成和测试、 CSCI合格性 测试这三个阶段。 本标准适用于机载设备中嵌入式操作系统板级支持软件的开发和测试过程。 本标准一方面可以指导 软件测试人员开展板级支持软件的测试，同时也可作为开发板级支持软件的有益参考。对与硬件状态紧密相关的在线编程软件、自检测软件等的开发与测试，可参照本标准执行。 在具体项目的软件测试过程中，对板级支持软件执行的各测试过程，应针对不同的硬件驱动设计， 在测试类型选择时参考本标准提出的测试类型，完成各硬件驱动的测试。 2 规范性引用文件 下列文件对于本文件的应用是必不可少的。 凡是注日期的引用文件， 仅注日期的版本适用于本文件。 凡是不注日期的引用文件，其最新版本(包括所有的修改单)适用于本文件。 GB/T 11457－2006 信息技术 软件工程术语 GJB 2786 A－2009 军用软件开发通用要求 GJB/Z 141－2004 军用软件测试指南 HB/Z 421－2014 民用飞机机载系统和设备软件合格审定保证指南 3 术语和定义 GB/T 11457－2006 界定的术语和定义以及下列术语和定义适用于本标准。 3.1 板级支持包 board support package (BSP) 工作于硬件模块上， 驱动硬件芯片完成预定功能， 为操作系统提供支持接口的硬件驱动软件的集合， 在本标准中，作为规范名称和部分说明时，也称为板级支持软件。 3.2 硬件驱动 hardware driver 为支持操作系统或其他软件运行而开发的对目标机的各类硬件设备的驱动代码。通过该类代码，可 实现对硬件设备的操作，完成其预定的功能。 3.3 自检测 build-in-test (BIT) 自检测实现对硬件模块的功能检测，确认被检测硬件可正常工作。通常情况下，自检测功能由软件 与硬件联合实现。 HB 8573－2020 2 3.4 模块初始化 module initialization 指目标机上电后执行的对硬件基本环境的初始化，包括对处理器寄存器组的初始化、内存访问空间 初始化、系统运行栈、数据段的初始化以及构建 C语言代码的运行环境过程。在板级支持软件中该部 分代码通常采用汇编语言完成。 4 测试需求 板级支持软件的测试需求来源于软件需求规格说明、软件设计说明等文件。此类文件规定板级支持 包应具备的软件特征，如功能、性能、安全性等描述信息；通常情况下软件文档定义设备的特殊要求， 其通用要求则引用具体的硬件手册或通用定义。 在具体的板级支持包设计过程中，各类硬件驱动依据硬件设备自身的通用定义实现其功能，并通过 特殊设计满足软件整体的特殊要求。因此在测试过程中，硬件设备的通用定义是测试的重要参考。 5 测试环境与测试工具 板级支持包处于各类软件模块的底层，通常情况下无法通过交互式调试代理进行调试和测试，相对 于其他软件模块，能够使用的测试环境与测试工具具有较大限制。 板级支持软件的测试环境和可采用的测试工具如下： ——具备板级支持包运行的目标硬件环境，或其替代环境； ——具备与测试过程相关的必要的测试仪器，如波形发生器、电压 /电流源、示波器、万用表等， 能够实现信号的输入和对输出信号的测量； ——可对板级支持包调试的仿真器，如 ICE、TRACE32、 PROBE等设备，能够实现对代码的加载 和调试； ——其他各类用于支持调试、运行、监视目标运行的专用工具。 6 测试类型 6.1 概述 板级支持包的软件测试除按照 HB/Z 421－2014第 8 章“软件验证过程”规定的过程活动执行外， 还应结合板级支持软件的特殊性，对部分测试类型的执行方法进行修改，并增加新的测试类型。主要包 含以下方面。 ——代码审查测试； ——功能测试； ——空间访问测试； ——中断保护分析； ——驱动协同分析。 空间访问测试、中断保护分析以及驱动协同分析是软件功能测试的一部分，鉴于板级支持包的特殊 性，予以单独的描述和测试。 板级支持包中各类硬件驱动对测试类型的选择可参考附录 A中的表 A.1。 6.2 代码审查 在多数情况下，目标机无法构造出期望的硬件故障，因而板级支持包的测试过程应特别重视代码审HB 8573－2020 3查过程。 此外，在代码审查测试中，对关键重要的代码片段，均应给出代码是否冗余、功能是否有效的结论。 可以