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

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。

A Test Method of Embeded Operating System for Airworthiness Requirement

Based on the embedded real-time operating system as an application model which has the in-dependent intellectual property and been the DO-178C level A software, a test method for DO-178C 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 tar-get machine environment have been answered at the same time. The method can meet the software test re-quirement in the Chinese military standards, and also guarantee the compliance of the software verifica-tion activities for the embedded operating system with the airworthiness requirement.