论文研究基于SysML活动图的测试序列集约简方法.pdf

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