基于分类树的OSEK/VDX操作系统一致性测试研究

Research on Conformance Test of OSEK/VDX Operating System Based on CTM

在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。

After in-depth study of OSEK/VDX operating system specification,a method of conformance test for OSEK/VDX operating system based on classification tree is proposed.This method works as follows： first,test purposes are extracted from the OSEK specification;next,according to the specification and test purposes,classification tree is constructed and the input domain of the classification tree is divided;then generation and constraint rules are added to the tree;finally,conformance test cases are automatically generated with the help of CTE XL tool.The effectiveness and correctness of OSEK/VDX operating system conformance test using classification tree method are proved through the conformance test of MiniOSEK.