满足适航要求的嵌入式操作系统测试方法  

A Test Method of Embeded Operating System for Airworthiness Requirement

作　　者：周敏刚[1] 

机构地区：[1]中航工业西安航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2016年第4期114-117,122,共5页Aeronautical Computing Technique

基　　金：航空科学基金项目资助(2012ZC31006)

摘　　要：以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求,又保证了嵌入式操作系统软件测试活动与适航要求的符合性。Based on the embedded real-time operating system as an application model which has the independent intellectual property and been the DO-178 C level A software,a test method for DO-178 C request is explicated. The difficult problem of the operating system kernel test in the target machine can be solved by the test modes in the method. Some specific questions of the operating system test in the target machine environment have been answered at the same time. The method can meet the software test requirement in the Chinese military standards,and also guarantee the compliance of the software verification activities for the embedded operating system with the airworthiness requirement.

关 键 词：嵌入式 操作系统 软件测试 适航 API 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]