论文部分内容阅读
传统的可达性测试算法可以解决消息传递并行程序测试中的完全性问题,但存在状态空间爆炸的问题,测试开销大.本文通过考虑网络带宽对并行程序行为的影响,对网络带宽异构环境下的传统可达性测试方法进行了改进.实验表明,改进算法有效的减少了测试路径的数量,极大地提高了测试效率,从而减小了开销.改进算法可以高效地、近似完全地测试并行程序.