OSEK操作系统一致性测试用例的生成

• 作者: 李锐 王三宏 范德全 蒋建春
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: OSEK操作系统 一致性测试 分类树 资源管理
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: "核高基"专题
• 页码范围: 54-56
• 分类号: TP311
• 字数: 2720字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.09.018

摘要

研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法.对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目.以AutoOSEK的资源管理模块为例进行一致性测试,测试结果验证了该分类树方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李锐	重庆邮电大学汽车电子与嵌入式系统研究所	72	529	11.0	20.0
2	蒋建春	重庆邮电大学汽车电子与嵌入式系统研究所	41	313	10.0	15.0
3	王三宏	重庆邮电大学汽车电子与嵌入式系统研究所	1	7	1.0	1.0