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

摘要：

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

关键词：OSEK操作系统、一致性测试、分类树、资源管理

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金："核高基"重大专项2009ZX01038-002-002-2;重庆市科委攻关计划基金资助项目CSTC,2009AB 2244;重庆市自然科学基金资助项目CSTC,2008BB2407

在线出版日期：2011-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：54-56