您的位置： 专家智库 > >

周晶晶

作品数：1 被引量：2H指数：1
供职机构：北京交通大学轨道交通运行控制系统国家工程研究中心更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：交通运输工程更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇交通运输工程

主题

  • 1篇时间自动机
  • 1篇自动机
  • 1篇自动生成
  • 1篇测试用例
  • 1篇测试用例自动...
  • 1篇车载
  • 1篇车载设备

机构

  • 1篇北京交通大学

作者

  • 1篇李开成
  • 1篇周晶晶

传媒

  • 1篇西华大学学报...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型的车载设备测试用例自动生成研究被引量：2
2014年
针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。
易承龙李开成周晶晶
关键词：车载设备测试用例时间自动机
全选 清除 导出
共1页<1>
聚类工具0