异构网络环境下不确定并行程序行为分析

• 作者: 张翠玲 王巍 胡铭曾
• 来源期刊: 科技与创新
• 关键词: 并行计算 可达性测试 消息传递 异构网络环境 完全性
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 软件时空
• 页码范围: 179-181
• 页数: 3页
• 分类号: TP393.2
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.03.072

摘要

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