收藏本站
《软件学报》 2015年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

陈鑫  姜鹏  张一帆  黄超  周岩  
【摘要】:列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.

手机知网App
【共引文献】
中国期刊全文数据库 前1条
1 姜鹏;陈鑫;李宣东;;一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法[J];计算机科学;2014年11期
中国硕士学位论文全文数据库 前1条
1 仇雅静;中小企业知识产权服务信息系统的设计与实现[D];北京工业大学;2013年
【相似文献】
中国期刊全文数据库 前10条
1 葛建新;;软件测试用例库建设与维护浅谈[J];硅谷;2009年07期
2 屈波;徐宝文;聂长海;;补充生成测试用例的优先级设定与动态调整算法[J];山东大学学报(工学版);2009年02期
3 李磊芳;徐宝文;陈振宇;章晓芳;董国伟;;一种新的布尔规格测试用例生成算法[J];东南大学学报(自然科学版);2010年02期
4 康昊;裴林;;数字化综合基带软件测试用例的复用及管理系统研究[J];遥测遥控;2010年06期
5 易承龙;李开成;周晶晶;;基于模型的车载设备测试用例自动生成研究[J];西华大学学报(自然科学版);2014年02期
6 卜国峰;孙志刚;丁小良;;软件测试用例的复用研究[J];四川兵工学报;2009年05期
7 马臻;;基于免疫算法的电子渠道软件测试用例生成[J];应用科技;2011年04期
8 李欣;张聪;罗宪;;朴素贝叶斯应用于自动化测试用例生成[J];重庆理工大学学报(自然科学);2012年02期
9 王雅文;宫云战;肖庆;;基于区间必然集的测试用例生成方法[J];计算机辅助设计与图形学学报;2013年04期
10 王志强;;遗传算法生成软件测试用例[J];科学之友(B版);2008年02期
中国重要会议论文全文数据库 前10条
1 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
2 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3 徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年
4 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
5 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
7 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];中国计量协会冶金分会2008年会论文集[C];2008年
8 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
9 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
10 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
中国重要报纸全文数据库 前6条
1 深圳市信息无障碍研究会 戴杰;“听”软件的IT工程师[N];人民政协报;2014年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
4 《网络世界》记者 郑楠;ONF测试步伐有条不紊[N];网络世界;2014年
5 ;找错[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
2 黄如兵;组合测试用例的自适应随机生成与优先级排序方法研究[D];华中科技大学;2013年
3 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
4 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
5 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
6 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
7 邢颖;测试用例自动生成的分支限界算法及实验研究[D];北京邮电大学;2014年
8 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
9 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
10 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
中国硕士学位论文全文数据库 前10条
1 曹青;随机测试用例的自动化生成和约简[D];中国科学技术大学;2010年
2 张丽颖;基于本体的核电站生产用软件测试用例自动生成[D];上海交通大学;2009年
3 尹文洁;测试用例约简方法的研究与应用[D];太原理工大学;2011年
4 纪昌斌;基于谓词信息的测试用例生成系统设计与实现[D];南京大学;2011年
5 戴丽;组合测试用例生成技术的研究与应用[D];华南理工大学;2011年
6 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
7 焦安涛;测试用例综合评价模型的研究[D];昆明理工大学;2009年
8 张薇;带参数约束的组合测试用例生成研究[D];安徽大学;2012年
9 邹明;组合测试用例生成技术研究[D];重庆大学;2012年
10 成亚玲;回归测试用例的优化选择研究[D];湖南大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026