摘要
针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。
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 ap- plicability 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.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第8期1729-1734,共6页
Systems Engineering and Electronics
基金
国防预研基金资助课题
关键词
软件适航
软件验证
灰盒测试
DO-178B
机载软件
software airworthiness
software certification
grey-box testing
DO--178B
airborne software
