检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]哈尔滨工业大学计算机网络与信息安全技术研究中心
出 处:《微计算机信息》2007年第3期179-181,共3页Control & Automation
基 金:国防十五预研资助项目(编号不公开)
摘 要:传统的可达性测试算法可以解决消息传递并行程序测试中的完全性问题,但存在状态空间爆炸的问题,测试开销大。本文通过考虑网络带宽对并行程序行为的影响,对网络带宽异构环境下的传统可达性测试方法进行了改进。实验表明,改进算法有效的减少了测试路径的数量,极大地提高了测试效率,从而减小了开销。改进算法可以高效地、近似完全地测试并行程序。The traditional reachability testing algorithm can solve the completeness problem in the testing of messagepassing parallel program, but generate huge number of execution paths. A new improved algorithm considering the network bandwidth differences between the computers is proposed and the experiment proves that the improved algorithm can reduce the number of execution paths effectively and the loss of completeness is acceptable.
关 键 词:并行计算 可达性测试 消息传递 异构网络环境 完全性
分 类 号:TP393.2[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.225