论文部分内容阅读
综合化航电系统需要采用符合ARINC653标准要求的分区操作系统,如何验证采用的分区操作系统符合该标准要求成为亟待解决的问题.在分析ARINC653标准的基础上,定义了符合性测试的开发测试流程,提出了测试软件的体系框架,并针对鲁棒性测试、自动化测试、测试项范围控制、测试结果分析等关键设计要点进行了阐述.通过对选取分区操作系统的实际测试运行,对提出的测试框架进行了运行验证.