论文部分内容阅读
OSEK/VDX规范是欧洲汽车行业在20世纪90年代中期开发的一个有关汽车电子设计的规范,它提供了将各种先进汽车电子设备有机组合在一起的网络化嵌入式计算机系统的开发规范。目前,已有不少的公司和研究机构开发了OSEK操作系统。由于OSEK/VDX标准是用自然语言描述的,本身还处于发展中,不同开发者开发的OSEK/VDX操作系统可能存在差异。为了检验这些操作系统的规范一致性,需要对其进行一致性测试。本文在深入理解OSEK操作系统规范的基础上,提出了基于分类树构造测试用例,对OSEK操作系统进行一致性测试的方法。该方法首先通过从OSEK操作系统规范抽取测试目的,其次根据测试目的形成分类树并从分类树中得到测试用例,然后在OSEK操作系统上执行这些测试用例,最后根据测试用例的执行结果,判断操作系统的规范符合性。基于分类树的OSEK操作系统一致性方法,既利用了OSEK操作系统只有少量功能模块和API的特点,也利用了分类树方法结构化和系统化的优点,使得一致性测试集的构造变得容易把握和理解。本文的主要工作和贡献可以集中为三点:(1)提出基于分类树方法进行操作系统一致性测试的规范这个规范规定了进行操作系统一致性测试的流程,包括四步,首先是从标准中抽取出测试目的,其次是根据标准和测试目的,使用分类树构造抽象测试用例,然后是在具体操作系统上实现和执行测试用例,最后是分析测试用例的执行结果。规范同时规定了每个步骤必须严格遵守的表示形式,例如测试目的的表示,抽象测试用例的表示。(2)使用分类树方法构造OSEK操作系统一致性测试集通过深入理解OSEK操作系统规范,分析API的执行环境、执行动作和执行效果,获得分类树的输入域;通过分析测试目的,利用分类树工具,得到分类树的测试情况;通过组合各种测试情况,最终构造得到抽象测试集。(3)对MiniOSEK进行一致性测试根据MiniOSEK的实现特点,将分类树方法构造的抽象测试集具体化,然后在MiniOSEK上执行这些测试集,并对测试的结果进行分析。测试结果表明,MiniOSEK参与测试的模块都通过了一致性测试。