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