本文已被：浏览 1717次 下载 2662次
Received:March 18, 2010 Revised:May 09, 2010
Received:March 18, 2010 Revised:May 09, 2010
中文摘要: 在深入研究OSEK/VDX操作系统规范的基础上，提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的，其次根据规范和测试目的构造分类树和划分分类树的输入域，再次为分类树添加生成规则和限制条件，最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试，验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。
中文关键词: OSEK/VDX操作系统 一致性测试 分类树方法
Abstract: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.
文章编号： 中图分类号： 文献标志码：
基金项目:电子信息产业发展基金(操作系统安全加固软件研发及产业化文号:财建[2008]329 工信部运[2008]97
| Author Name | Affiliation |
| 张志雄 | 中国科学技术大学 计算机科学与技术学院 安徽 合肥 230027 中国科学技术大学 苏州研究院 江苏 苏州 215123 |
| 李曦 |
| Author Name | Affiliation |
| 张志雄 | 中国科学技术大学 计算机科学与技术学院 安徽 合肥 230027 中国科学技术大学 苏州研究院 江苏 苏州 215123 |
| 李曦 |
引用文本：
张志雄,李曦.基于分类树的OSEK/VDX操作系统一致性测试研究.计算机系统应用,2010,19(11):208-212
.Research on Conformance Test of OSEK/VDX Operating System Based on CTM.COMPUTER SYSTEMS APPLICATIONS,2010,19(11):208-212
张志雄,李曦.基于分类树的OSEK/VDX操作系统一致性测试研究.计算机系统应用,2010,19(11):208-212
.Research on Conformance Test of OSEK/VDX Operating System Based on CTM.COMPUTER SYSTEMS APPLICATIONS,2010,19(11):208-212
