张 辰，田 甜*，杨秀婷，巩敦卫

（1.山东建筑大学计算机科学与技术学院，济南 250101；2.中国矿业大学信息与控制工程学院，江苏徐州 221116）

（∗通信作者电子邮箱tian_tiantian@126.com）

0 引言

消息传递程序具有开发简单、实现便捷、求解高效的特性，是一种应用广泛的并行程序。基于分布式存储架构，消息传递并行程序基于通信语句实现进程之间的交互。通信是消息传递并行程序的主要特征体现，而通信测试的核心是高效生成覆盖通信的测试数据。因此，研究通信覆盖的测试数据生成问题对于消息传递并行程序的测试具有重要意义。

随着程序规模的增大，进程之间的通信愈加频繁，这使得通信测试的难度不断提高。因此，有必要研究有效的通信约减方法，从而降低覆盖难度，提高测试效率。占优关系具有减小问题规模、简化问题求解步骤、提高问题求解效率等优点，已在优化问题的求解中得到了有效应用。鉴于此，本文基于占优关系约减覆盖测试中的目标通信，转换通信约减问题为通信语句约减问题，利用语句占优关系，对通信语句集进行约减。然后，基于约减后的语句，选择相关通信作为覆盖目标，使得覆盖这些目标的测试数据能够覆盖程序的全部通信。

本文的主要工作如下:1）给出通信约减问题的转换理论，将通信约减问题转换为通信语句约减问题；2）基于占优关系约减通信语句集，进而选择目标通信；3）将本文所提出的方法应用到基准程序，并与其他方法进行对比，实验结果验证了本文方法的可行性和高效性。……