如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题.针对这一问题,结合嵌入式实时系统特点,采用SysML活动图对嵌入式系统进行建模,为了避免并发活动引起活动路径组合爆炸的问题,将并发活动进行压缩,选用转移边覆盖率作为测试序列集的评判指标,提出了一种更快满足覆盖率要求的算法—BFC算法.实验结果表明,提出的BFC算法可以有效地约简测试序列集,以较快的速度达到覆盖要求,提高了测试效率.%In the field of software testing, how to make a reduction prioritize test sequences generated by complex embed-ded system and make it satisfy the coverage criterion more quickly is the key problem which guides the test execution effec-tively. In view of this issue, this paper utilizes SysML activity diagram and combining it with embedded real-time system features to model embedded system. The concurrent activity is compressed to avoid the explosion of the active path com-bination caused by concurrent activity. This paper proposes BFC algorithm which can meet the requirement of coverage rate faster adopting to the test sequence priority evaluation index of edge-coverage rate. The experimental results show that the BFC algorithm can effectively reduce the test sequence and meet the coverage requirement at a faster speed, it improves testing efficiency.
展开▼
