面向机载软件适航验证的灰盒测试方法

摘要

Aiming at the characteristics of airborne software integration and modular for domestic big planes and new generation fighters, according to the requirements of airborne software airworthiness validation, the applicability between traditional black/white box testing method and software validation requirements of radio technical commission for aeronautics DO-178B is analyzed, and the grey-box testing method and application processes which meet the software validation requirements airworthiness are established. Then, the proposed method and its limitations are analyzed, and the new requirements of the testing environment about grey-box testing method are put forward.%针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO- 178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求.