-
题名铁路信号安全关键软件的组合测试序列集约简
被引量：8
- 1
-
-
作者
饶畅
李楠
张亚东
郭进
李耀
-
机构
西南交通大学信息科学与技术学院
电子科技大学光电科学与工程学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2020年第3期596-603,共8页
-
基金
国家自然科学基金青年基金(61703349)
中央高校基本科研业务费专项资金(2682017CX101)
中国铁路总公司科技研究开发计划课题(N2018G062,K2018G011)。
-
文摘
针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性.
-
关键词
安全关键软件
基于模型的测试
组合测试
测试序列约简
二进制粒子群优化
-
Keywords
safety-critical software
model-based testing
combinatorial testing
test sequence reduction
binary particle swarm optimization
-
分类号
U283
[交通运输工程—交通信息工程及控制]
-
-
题名基于SysML活动图的测试序列集约简方法
被引量：3
- 2
-
-
作者
孟令冲
舒坚
黄勤涛
曹伟芳
-
机构
南昌航空大学信息工程学院
南昌航空大学软件学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2018年第13期266-270,共5页
-
基金
国家自然科学基金(No.61363015)
国家部委基础预研重点项目
江西省研究生创新专项(No.YC2015-S324)
-
文摘
如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题。针对这一问题,结合嵌入式实时系统特点,采用SysML活动图对嵌入式系统进行建模,为了避免并发活动引起活动路径组合爆炸的问题,将并发活动进行压缩,选用转移边覆盖率作为测试序列集的评判指标,提出了一种更快满足覆盖率要求的算法—BFC算法。实验结果表明,提出的BFC算法可以有效地约简测试序列集,以较快的速度达到覆盖要求,提高了测试效率。
-
关键词
软件测试
SysML活动图
测试序列约简
转移边覆盖率
-
Keywords
software test
SysML activities diagram
test sequences reduction
edge-coverage rate
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
