微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2007年
3期
179-181
,共3页
并行计算%可达性测试%消息传递%异构网络环境%完全性
併行計算%可達性測試%消息傳遞%異構網絡環境%完全性
병행계산%가체성측시%소식전체%이구망락배경%완전성
传统的可达性测试算法可以解决消息传递并行程序测试中的完全性问题,但存在状态空间爆炸的问题,测试开销大.本文通过考虑网络带宽对并行程序行为的影响,对网络带宽异构环境下的传统可达性测试方法进行了改进.实验表明,改进算法有效的减少了测试路径的数量,极大地提高了测试效率,从而减小了开销.改进算法可以高效地、近似完全地测试并行程序.
傳統的可達性測試算法可以解決消息傳遞併行程序測試中的完全性問題,但存在狀態空間爆炸的問題,測試開銷大.本文通過攷慮網絡帶寬對併行程序行為的影響,對網絡帶寬異構環境下的傳統可達性測試方法進行瞭改進.實驗錶明,改進算法有效的減少瞭測試路徑的數量,極大地提高瞭測試效率,從而減小瞭開銷.改進算法可以高效地、近似完全地測試併行程序.
전통적가체성측시산법가이해결소식전체병행정서측시중적완전성문제,단존재상태공간폭작적문제,측시개소대.본문통과고필망락대관대병행정서행위적영향,대망락대관이구배경하적전통가체성측시방법진행료개진.실험표명,개진산법유효적감소료측시로경적수량,겁대지제고료측시효솔,종이감소료개소.개진산법가이고효지、근사완전지측시병행정서.
