-
题名基于SysML活动图的测试序列集约简方法
被引量：3
- 1
-
-
作者
孟令冲
舒坚
黄勤涛
曹伟芳
-
机构
南昌航空大学信息工程学院
南昌航空大学软件学院
-
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机软件与理论]
-
