覆盖并行目标的初始标识条件生成方法

发布时间：2024-05-13 19:06

　　并行软件的发展给互联网行业带来高效解决方式的同时,也给软件测试带来了很多挑战。尽管已经有诸多学者致力于并行软件测试的自动生成工作,但已有的工作中,一方面,基于状态空间的方法由于其固有特性易受状态空间爆炸的影响,导致效率低下。另一方面,基于模型的方法也面临着模型节点多,目标路径情况错综复杂的问题,亟需一种快速高效的解决方式。因而,如何在测试数据未知的情况下,快速高效的获取能够有效覆盖待测目标的初始标识条件对测试工作而言是非常有意义的。鉴于上述背景,本文研究了覆盖并行目标的初始标识条件生成方法。本文所涉及到的研究工作可以归结为以下几大方面:(1)提出基于变迁覆盖的并行软件测试覆盖准则,并基于该准则提出覆盖并行目标的路径搜索及优化算法。首先,提出变迁覆盖准则;其次,根据待测目标边搜索边生成能够覆盖待测目标集的所有可行路径,即全路径集合;然后,依据覆盖准则,结合关联变迁与依赖变迁的不同分布可能,在保证对目标完成有效覆盖的基础上尽可能地去除全路径集合中的冗余路径。只有当路径集合满足覆盖准则时才能保证得到的初始标识条件是高覆盖并且低冗余的,为后续工作奠定良好基础。(2)在上述研究基础上,提出一种针...

【文章页数】：83 页

【学位级别】：硕士

【部分图文】：

图3.5测试场景一路径优化处理示意图

图3.5测试场景一路径优化处理示意图Figure3.5Theflowchartofpathoptimizationinthefirsttestscenario来我们考虑关联变迁集合为空且待测目标变迁间互不为影响变迁况。也就是说待测目标变迁的执行有潜在的可....

图3.7测试场景二路径优化处理示意图

而其前置位置个数往往大于1，因而不可以去除路径与径，否则将引起依赖变迁所处变迁无法点火，从而使得数据无法据路径优化子算法的具体处理要求，可知当前全路径集合FullPa有待处理路径PendingPath={p1t1p3t3p9t10p13t13,p1t1p3t4p10t10....

图3.9测试场景三路径优化处理示意图

内蒙古大学硕士学位论文待测目标变迁集合时应能覆盖的路径分为以下几类：经过关联变迁t6流转到待测目标t15；不经过关联变迁t6流转到待测目标t15；析并执行算法后得到的待处理路径集合PendingPath={p1t1p2t2p5t6t7p12t11p14t15}，满足....

图3.11测试场景四路径优化处理示意图

内蒙古大学硕士学位论文Path={p1t1p2t2p5t6p12t11}。最后将上述求得的两部分投射路径集合相加，即得到合PendingPath={p1t1p2t2p5t6p12t11,p1t1p2t2p6t7p12t11,p1t1p2t2p7t8p12t11}。图3.....

本文编号：3972575