论文部分内容阅读
研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试,测试结果验证了该分类树方法的有效性。
OSEK操作系统一致性测试用例的生成
【摘 要】
：
研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试
【机 构】
：
重庆邮电大学汽车电子与嵌入式系统研究所,中国兵器装备集团第204厂
【出 处】
：
计算机工程
【发表日期】
：
2011年9期
【基金项目】
：
“核高基”重大专项（2009ZX01038-002-002-2）, 重庆市科委攻关计划基金资助项目（CSTC 2009AB2244）, 重庆市自然科学基金资助项目（CSTC 2008BB2407）
其他文献
采用特殊工艺生产的酱香专用调味酒有两大特点:一是酱香突出,陈味好,酒体醇厚、丰满、细腻协调、回味悠长;二是香味物质成分种类繁多,含量丰富,这二者决定了它对浓香型白酒调
近几十年来，我国的资本市场经历了从无到有、从小到大、制度不断完善、法律法规不断健全的发展历程，时至今日，已经成为了我国社会主义市场经济体系的重要组成部分。与国外一些国
根据综合气象探测系统对数据库的实际需求,提出一种数据库的设计与优化方案。分析数据库应用需求,设计数据库逻辑,给出数据库优化方法,包括分布式存储策略、实时查询策略、索
我国的农业、农村和农民问题,始终是关系我国经济和社会发展全局的重大问题,由于“三农”问题的复杂性和农业的弱质性,解决这样一个事关全局发展的重大问题,需要多系统、多层
花球啦啦操是一项具有观赏性、艺术性和感染力的项目。随着花球啦啦操日益发展的需求,了解其编排现状以及趋势,把握花球啦啦操成套动作编排的发展方向,探寻世界花球啦啦操成
物理是高中阶段的重点学科,它包含了丰富的理论知识,要求学生构建清晰的学习体系。因此对于学生的理解能力、挖掘能力、总结能力提出了较高的要求,这也使得其成为高中理科学
随着新疆跨越式发展战略的提出，新疆将面临前所未有的发展机遇。金融能够起到促进资本配置和经济发展的良好作用，对于推进新疆在新形势下发展的重要性毋庸置疑，而新疆金融资源总
根据决策表定义条件属性区分能力指数DI（a）的概念,给出DI（a）的若干性质。定义拟等价类的概念,提出基于区分能力指数的决策表相对约简算法,该算法基于分治策略,用属性a代替相应区
现阶段,随着城市化进程的加快,各大城市处于蓬勃发展的状态,作为城市交通运输的重要途径之一,地铁在缓解城市交通拥堵问题方面发挥着重要的作用,对于城市交通有着重要的意义