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

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

作　　者：张志雄[1,2] 李曦[1,2] 

机构地区：[1]中国科学技术大学计算机科学与技术学院,安徽合肥230027 [2]中国科学技术大学苏州研究院,江苏苏州215123

出　　处：《计算机系统应用》2010年第11期208-212,216,共6页Computer Systems & Applications

基　　金：电子信息产业发展基金(操作系统安全加固软件研发及产业化文号:财建[2008]329工信部运[2008]97

摘　　要：在深入研究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.

关 键 词：OSEK/VDX操作系统 一致性测试 分类树方法 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]