异构网络环境下的并行程序可达性测试算法

针对不确定性并行程序难于测试的问题,分析了并行程序消息传递行为与网格环境中网络性能约束之间的关系,在经典可达性测试算法的基础上,提出了新的限定性可达性测试算法,称为基于网络性能约束的可达性测试算法。本算法在考虑网络性能约束的基础上,只对发生频率高的执行路径进行测试,缩减了待测试路径的数量,提高测试效率,在此基础上尽可能保证测试的完全性。