论文部分内容阅读
随着汽车工业和信息技术的迅猛发展,现代汽车集成了越来越多的复杂电子元器件。为满足管理日益增多的电子控制单元的需求,实现应用软件间的可移植性以及不同厂商所生产的控制模块的兼容性,迫切需要一种统一的系统管理平台。OSEK/VDX操作系统规范为车用嵌入式操作系统及其相关服务定义了一系列的抽象标准接口,该系统独立于应用软件和硬件平台,获得了广泛的应用。本实验室在国家核高基项目的支持下,开发了适用于8位单片机的符合OSEK/VDX规范的FDOSEK操作系统,实现了OSEK/VDX规范定义的内核要求。该系统具有资源消耗小,实时性优良,运行稳定等特点。软件测试是软件开发的重要一环,是系统质量的保证和软件使用的前提。针对本实验室开发的FDOSEK操作系统,本人对功能测试进行了大量的研究和试验,主要在两个方面进行了深入的研究和探索：1.针对现有测试理论和方法的不足,提出了流框图测试分析法,能够充分覆盖测试路径,减少测试用例的冗余性。它可以为各个一致类提供独立的测试用例,充分利用系统一致类间的关系,提高测试效率。2.开发了自动化的测试工具。自动化测试软件的使用不仅能够提高工作效率,为人工测试的几十倍,也避免了人工操作的失误,同时更加灵活的应对各种测试用例的变化。本文详细的阐述了OSEK/VDX操作系统的测试理论和实践。首先全面介绍了OSEK/VDX操作系统的研究背景和本实验室开发的FDOSEK操作系统。然后着重阐述了流框图测试分析理论和方法。最后在详细介绍自动化测试原理和机制的基础上,对如何开发和使用自动化测试工具做了深入的讲解。实验结果表明,自动化测试理论有助于完成系统的功能测试,同时自动化测试工具的使用大大提高了测试的工作效率,达到了预期的效果。