您的位置： 专家智库 > >

张志雄

作品数：2 被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：电子信息产业发展基金更多>>
相关领域：自动化与计算机技术交通运输工程机械工程更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇机械工程
  • 1篇交通运输工程

主题

  • 2篇分类树
  • 1篇一致性
  • 1篇分类树方法
  • 1篇操作系
  • 1篇操作系统

机构

  • 2篇中国科学技术...

作者

  • 2篇张志雄
  • 1篇李曦

传媒

  • 1篇计算机系统应...

年份

  • 2篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于分类树的OSEK/VDX操作系统一致性测试研究被引量：3
2010年
在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。
张志雄李曦
关键词：分类树方法
OSEK/VDX操作系统的一致性测试
欧洲汽车行业在20世纪90年代中期开发了一个名为OSEK/VDX的设计规范，它规定了将各种先进汽车电子设备网络化组合在一起的方法。目前，已有不少的公司和研究机构开发了OSEK操作系统。由于OSEK/VDX标准是用自然语言...
张志雄
关键词：分类树
文献传递
全选 清除 导出
共1页<1>
聚类工具0