基于占优关系的并行程序通信覆盖约减方法

摘要：

针对通信规模的增大及不确定通信使得消息传递接口(MPI)并行程序通信测试难度增大的问题,提出了基于占优关系的通信覆盖约减方法.首先,基于通信与通信语句间的对应关系,将通信约减问题转换为通信语句的约减问题;然后,利用语句占优关系求解通信语句集的约减集;最后,选择与约减集相关的通信作为覆盖目标,使得覆盖这些目标的测试数据能够覆盖全部通信.将所提方法应用到7个典型被测程序中.实验结果表明,在不降低通信覆盖率的前提下,相较于以全部通信作为覆盖目标的测试数据生成方法,所提方法减少的测试数据的生成时间最高达95％,提高了通信覆盖测试数据生成的效率.

关键词：并行程序、通信覆盖、通信约减、占优关系、测试数据

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61773384

在线出版日期：2021-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1741-1747