10.3969/j.issn.1008-0570.2007.03.072
异构网络环境下不确定并行程序行为分析
传统的可达性测试算法可以解决消息传递并行程序测试中的完全性问题,但存在状态空间爆炸的问题,测试开销大.本文通过考虑网络带宽对并行程序行为的影响,对网络带宽异构环境下的传统可达性测试方法进行了改进.实验表明,改进算法有效的减少了测试路径的数量,极大地提高了测试效率,从而减小了开销.改进算法可以高效地、近似完全地测试并行程序.
并行计算、可达性测试、消息传递、异构网络环境、完全性
23
TP393.2(计算技术、计算机技术)
国防科技预研项目
2007-04-02(万方平台首次上网日期,不代表论文的发表时间)
共3页
179-181