分布式可達(dá)性測試研究.pdf

1、可達(dá)性測試是并發(fā)程序測試的一種重要手段。在給定輸入下，可達(dá)性測試可自動生成并執(zhí)行并發(fā)程序所有可行同步序列，且無需記錄任何歷史信息。但對大型或復(fù)雜的并發(fā)程序，可達(dá)性測試面臨測試序列集過大以及執(zhí)行時間過長等問題。在可達(dá)性測試過程中，不同同步序列的執(zhí)行無需進(jìn)行通信和交互，可在多個計算節(jié)點上并行執(zhí)行，在分布式環(huán)境下并行運行可達(dá)性測試（簡稱分布式可達(dá)性測試）可有效提高可達(dá)性測試的效率。
　　針對現(xiàn)有分布式可達(dá)性測試方法因不能定量評估工作節(jié)點

2、負(fù)載信息而使其難以有效地平衡工作節(jié)點間負(fù)載等問題，本文提出了一種基于實時負(fù)載監(jiān)控和定量評估負(fù)載的動態(tài)負(fù)載平衡算法(DLB-RT)。該算法通過周期性輪詢和定量評估工作節(jié)點的實時負(fù)載信息，改進(jìn)工作節(jié)點間的負(fù)載平衡效果，提高系統(tǒng)執(zhí)行效率和資源利用率。在上述工作基礎(chǔ)上，本文提出了兩種基于Hadoop的分布式可達(dá)性測試方法，其中DHRT方法使用上述DLB-RT算法平衡工作節(jié)點間的負(fù)載，MHRT方法通過迭代執(zhí)行多個MapReduce作業(yè)進(jìn)行負(fù)載平衡