| OSEK操作系统一致性测试用例的生成 |
| |
| 引用本文： | 李锐,王三宏,范德全,蒋建春. OSEK操作系统一致性测试用例的生成[J]. 计算机工程, 2011, 37(9): 54-56. DOI: 10.3969/j.issn.1000-3428.2011.09.018 |
| |
| 作者姓名： | 李锐 王三宏 范德全 蒋建春 |
| |
| 作者单位： | 1. 重庆邮电大学汽车电子与嵌入式系统研究所,重庆,400065
2. 中国兵器装备集团第204厂,成都,610106 |
| |
| 基金项目： | "核高基"重大专项，重庆市科委攻关计划基金，重庆市自然科学基金 |
| |
| 摘 要： | 研究OSEK操作系统的一致性测试需求，提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分，分析分类子集之间的相互关系和制约条件，借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试，测试结果验证了该分类树方法的有效性。
|
| 关 键 词： | OSEK操作系统 一致性测试 分类树 资源管理 |
Generation of Conformance Test Cases for OSEK Operating System |
| |
| LI Rui,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. DOI: 10.3969/j.issn.1000-3428.2011.09.018 |
| |
| Authors: | LI Rui WANG San-hong FAN De-quan JIANG Jian-chun |
| |
| Affiliation: | 1(1.Institute of Automotive Electronic and Embedded System,Chongqing University of Posts and Telecommunications,Chongqing 400065,China;2.Factory 204,China Ordnance Equipment Group Corporation,Chengdu 610106,China) |
| |
| 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. |
| |
| Keywords: | OSEK Operating System（OS） conformance test classification tree resource management |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
