基于SysML活动图的测试序列集约简方法

来源：计算机工程与应用杂志2018年第13期北京时间：

作者：孟令冲1，舒 坚2，黄勤涛2，曹伟芳2

单位：1.南昌航空大学 信息工程学院，南昌 330063；2.南昌航空大学 软件学院，南昌 330063

摘要：如何对复杂的嵌入式系统生成的测试序列集进行约简，使其更快地满足覆盖准则，从而有效地指导测试执行，是软件测试领域的关键问题。针对这一问题，结合嵌入式实时系统特点，采用SysML活动图对嵌入式系统进行建模，为了避免并发活动引起活动路径组合爆炸的问题，将并发活动进行压缩，选用转移边覆盖率作为测试序列集的评判指标，提出了一种更快满足覆盖率要求的算法—BFC算法。实验结果表明，提出的BFC算法可以有效地约简测试序列集，以较快的速度达到覆盖要求，提高了测试效率。

关键词：软件测试,SysML活动图,测试序列约简,转移边覆盖率