软件可靠性测试作为软件开发的重要环节之一,分析软件在一定的条件下,在一段特定时间间隔内,无失效运行的概率。运行在汽车控制、医护系统等性命攸关的系统上的软件必须进行可靠性度量,只有在进行了可靠性测试和估计之后才能投入使用。SmartOSEK OS是面向安全关键领域应用的嵌入式实时操作系统,有极高的可靠性要求,需要有一套系统化的测试方案来度量其可靠性。本文在分析了目前嵌入式软件测试和可靠性工程研究现状的基础上,结合OSEK/VDX标准对于操作系统特性和需求的规定,针对SmartOSEK OS设计和实施了一套系统化的可靠性测试方案和渐进式的测试流程。应用该方案不仅可以有效地度量SmartOSEK OS的可靠性,推进SmartOSEK OS产品化的进程,而且可以方便地评估其它符合OSEKNDX标准的操作系统的可靠性。该方案作为一个通用的测试框架,对于可靠性要求极高的嵌入式安全关键领域具有重要的现实意义。本文的主要工作可以总结为以下几个方面:1)为SmartOSEK OS设计系统化的可靠性测试方案和渐进式的测试流程。2)为不同的测试对象设计特定的案例开发方法,构建有效的测试案例集。3)设计和开发测试案例自动生成工具,提高案例的质量,加快测试的流程。4)开发测试案例自动运行平台,自动运行测试案例集,并收集测试结果。5)分析测试结果,根据可靠性模型度量SmartOSEK OS的可靠性,指导OS的改进工作。