李军龙

作品数：1被引量：0H指数：0
导出分析报告
供职机构：北京大学软件与微电子学院更多>>
发文主题：测试用例生成基于接口接口自动机列车通信网络列车通信更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机技术与发展》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于接口自动机的列车通信设备测试用例生成
《计算机技术与发展》2013年第5期1-5,共5页郁莲 李军龙 白晓颖 刘鑫 吴中海 
国家自然科学基金资助项目(60973001);2012年"AutoTest软件系统测试"项目
列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例。现有的...
关键词：嵌入式系统 列车通信网络 接口自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部