《机载软件面向对象技术安全隐患研究》阎芳，谢文光，张涛著西北工业大学出版社 2020/9/1

内容简介：

针对国内大飞机及新一代战机机载软件综合化、模块化的特点，根据机载软件适航验证要求，在分析传统黑、白盒测试方法与DO—178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上，应用灰盒理论，建立了满足软件适航验证要求的灰盒测试方法及其应用过程，并对该方法展开了分析，说明了其局限性，并对测试环境提出了新的需求。本书具备较强的实践性和应用价值，能够帮助机载软件开发人员快速适应DO—178C标准下的软件研制，并也可供相关从事面向对象的嵌入式软件开发人员的借鉴。

目录：