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

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

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