%0 Journal Article
%T Research on Conformance Test of OSEK/VDX Operating System Based on CTM<br>基于分类树的OSEK/VDX操作系统一致性测试研究
%A 张志雄
%A 李曦
%J 计算机系统应用
%D 2010
%I 
%X 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.
%K OSEK/VDX operating system
%K classification tree method<br>OSEK/VDX操作系统
%K 一致性测试
%K 分类树方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=9F22495B187BC42F4DC3EA1DF4E8E927&yid=140ECF96957D60B2&vid=2A8D03AD8076A2E3&iid=708DD6B15D2464E8&sid=3D9746C06EC12B45&eid=D2742EEE6F4DF8FE&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=8