摘要： 研究OSEK操作系统的一致性测试需求，提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分，分析分类子集之间的相互关系和制约条件，借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试，测试结果验证了该分类树方法的有效性。
关键词:
OSEK操作系统,
一致性测试,
分类树,
资源管理
Abstract: This paper studies the conformance test specification of OSEK Operating System(OS), and proposes a generation method of conformance test cases based on classification tree. This method is mainly to the test object classification division, the analysis of the relationship between classification subsets, and with the CTE tool to reduce the number of test cases. The effectiveness of OSEK operating system conformance test using classification tree method are proved through the conformance test of the resource management of AutoOSEK.
Key words:
OSEK Operating System(OS),
conformance test,
classification tree,
resource management
中图分类号:
李锐, 王三宏, 范德全, 蒋建春. OSEK操作系统一致性测试用例的生成[J]. 计算机工程, 2011, 37(9): 54-56.
LI Dui, WANG San-Hong, FAN De-Quan, JIANG Jian-Chun. Generation of Conformance Test Cases for OSEK Operating System[J]. Computer Engineering, 2011, 37(9): 54-56.