原文传递
SmartOSEK OS可靠性测试方案
| 论文题名： | SmartOSEK OS可靠性测试方案 |
| 关键词： | 软件测试;可靠性度量;嵌入式实时操作系统;OSEK/VDX标准;车控电子产品 |
| 摘要： | 软件可靠性测试作为软件开发的重要环节之一，分析软件在一定的条件下，在一段特定时间间隔内，无失效运行的概率。运行在汽车控制、医护系统等性命攸关的系统上的软件必须进行可靠性度量，只有在进行了可靠性测试和估计之后才能投入使用。SmartOSEK OS是而向安全关键领域应用的嵌入式实时操作系统，有极高的可靠性要求，需要有一套系统化的测试方案来度量其可靠性。 本文在分析了目前嵌入式软件测试和可靠性工程研究现状的基础上，结合OSEK/VDX标准对于操作系统特性和需求的规定，针对SmartOSEK．OS设计和实施了一套系统化的可靠性测试方案和渐进式的测试流程。应用该方案不仅可以有效地度量SmartOSEK OS的可靠性，推进SmartOSEK OS产品化的进程，而且可以方便地评估其它符合OSEK/VDX标准的操作系统的可靠性。该方案作为一个通用的测试框架，对于可靠性要求极高的嵌入式安全关键领域具有重要的现实意义。 本文的主要工作可以总结为以下几个方面： 1)为SmartOSEK OS设计系统化的可靠性测试方案和渐进式的测试流程。 2)为不同的测试对象设计特定的案例开发方法，构建有效的测试案例集。 3)设计和开发测试案例自动生成工具，提高案例的质量，加快测试的流程。 4)开发测试案例自动运行平台，自动运行测试案例集，并收集测试结果。 5)分析测试结果，根据可靠性模型度量SmartOSEK OS的可靠性，指导OS的改进工作。 |
| 作者： | 魏城炯 |
| 专业： | 计算机软件与理论 |
| 导师： | 姚敏;杨国青 |
| 授予学位： | 硕士 |
| 授予学位单位： | 浙江大学计算机科学与技术学院 |
| 学位年度： | 2010 |
| 正文语种： | 中文 |
检索历史
应用推荐
