帮助 关于我们

返回检索结果

OSEK操作系统一致性测试用例的生成
Generation of Conformance Test Cases for OSEK Operating System

查看参考文献5篇

李锐 1   王三宏 1   范德全 2   蒋建春 1  
文摘 研究OSEK操作系统的一致性测试需求，提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分，分析分类子集之间的相互关系和制约条件，借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试，测试结果验证了该分类树方法的有效性。
其他语种文摘 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.
来源 计算机工程 ,2011,37(9):54-56 【核心库】
关键词 OSEK操作系统 ; 一致性测试 ; 分类树 ; 资源管理
地址

1. 重庆邮电大学汽车电子与嵌入式系统研究所, 重庆, 400065  

2. 中国兵器装备集团第204厂, 成都, 610106

语种 中文
文献类型 研究性论文
ISSN 1000-3428
学科 自动化技术、计算机技术
基金 国家重大科技专项 ;  重庆市科技攻关项目 ;  重庆市自然科学基金资助项目
文献收藏号 CSCD:4289699

参考文献 共 5 共1页

1.  李银国. OSEK/VDX OS服务调用的规范一致性检测方法. 重庆邮电大学学报:自然科学版,2010,22(6):786-790 CSCD被引 3 次    
2.  Offutt J. Generating Testing Data from SOFL Specification. Journal of Systems and Software,1999,49(1):49-62 CSCD被引 3 次    
3.  余波. 基于代数规约的Web服务测试. 计算机工程,2009,35(21):60-61 CSCD被引 4 次    
4.  OSEK Group. OSEK/VDX Operating System Specification Version 2.2.3,2005 CSCD被引 1 次    
5.  章亮飞. 嵌入式实时操作系统AutoOSEK的设计. 计算机工程,2007,33(16):53-55 CSCD被引 14 次    
引证文献 2 篇

1 马保 OSEK/VDX操作系统功能测试研究 计算机工程,2012,38(6):262-264
CSCD被引 1 次

2 唐华亮 汽车仪表网络管理一致性测试系统设计 仪表技术与传感器,2019(2):66-71
CSCD被引 0 次

显示所有2篇文献

论文科学数据集
PlumX Metrics
相关文献

 作者相关
 关键词相关
 参考文献相关

版权所有 ©2008 中国科学院文献情报中心 制作维护：中国科学院文献情报中心
地址：北京中关村北四环西路33号 邮政编码：100190 联系电话：(010)82627496 E-mail:cscd@mail.las.ac.cn 京ICP备05002861号-4 | 京公网安备11010802043238号