计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (13): 266-270.DOI: 10.3778/j.issn.1002-8331.1701-0284
• 工程与应用 • 上一篇
孟令冲1,舒 坚2,黄勤涛2,曹伟芳2
MENG Lingchong1, SHU Jian2, HUANG Qintao2, CAO Weifang2
摘要: 如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题。针对这一问题,结合嵌入式实时系统特点,采用SysML活动图对嵌入式系统进行建模,为了避免并发活动引起活动路径组合爆炸的问题,将并发活动进行压缩,选用转移边覆盖率作为测试序列集的评判指标,提出了一种更快满足覆盖率要求的算法—BFC算法。实验结果表明,提出的BFC算法可以有效地约简测试序列集,以较快的速度达到覆盖要求,提高了测试效率。