基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据 CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具 CoVer 对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。
推荐文章
测试用例自动生成方法的现状及研究
测试用例
自动生成
模型检查
形式化建模
测试用例自动生成方法研究与实现
测试用例
目标搜索
测试数据
基于碰撞域检测优化的测试用例自动生成方法
语句覆盖
算法演化
遗传算法
高覆盖率测试用例
自动化测试
UML模型驱动的划分测试用例生成方法研究
软件测试
测试用例生成
UML活动图
划分测试
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于场景的车载设备测试用例自动生成方法研究
来源期刊 计算机应用与软件 学科 工学
关键词 车载系统 运营场景 模式转换 测试用例 观测自动机
年,卷(期) 2015,(3) 所属期刊栏目 应用技术与研究
研究方向 页码范围 65-68
页数 4页 分类号 TP3
字数 4401字 语种 中文
DOI 10.3969/j.issn.1000-386x.2015.03.018
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 唐涛 北京交通大学轨道交通控制与安全国家重点实验室 152 2578 27.0 40.0
2 袁磊 北京交通大学轨道交通控制与安全国家重点实验室 22 164 7.0 12.0
3 吕继东 北京交通大学轨道交通运行控制系统国家工程研究中心 25 310 9.0 17.0
4 赵伟慧 北京交通大学轨道交通控制与安全国家重点实验室 2 30 2.0 2.0
5 李辰岭 北京交通大学轨道交通控制与安全国家重点实验室 4 63 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (22)
共引文献  (29)
参考文献  (7)
节点文献
引证文献  (5)
同被引文献  (16)
二级引证文献  (1)
1978(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(3)
  • 参考文献(1)
  • 二级参考文献(2)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(2)
  • 参考文献(0)
  • 二级参考文献(2)
2008(4)
  • 参考文献(0)
  • 二级参考文献(4)
2009(3)
  • 参考文献(0)
  • 二级参考文献(3)
2010(4)
  • 参考文献(1)
  • 二级参考文献(3)
2011(5)
  • 参考文献(5)
  • 二级参考文献(0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(4)
  • 引证文献(4)
  • 二级引证文献(0)
2019(1)
  • 引证文献(1)
  • 二级引证文献(0)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
车载系统
运营场景
模式转换
测试用例
观测自动机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导