并發(fā)程序測(cè)試用例集約減技術(shù)研究.pdf

1、可達(dá)性測(cè)試是并發(fā)程序測(cè)試的一種重要方法，具有在給定輸入下生成并執(zhí)行所有可行同步序列且無(wú)需記錄任何歷史信息等諸多優(yōu)勢(shì)。并發(fā)程序在開發(fā)過(guò)程中會(huì)經(jīng)歷多次修改，產(chǎn)生多個(gè)程序版本。在并發(fā)程序的演化過(guò)程中，直接對(duì)各個(gè)版本的并發(fā)程序進(jìn)行可達(dá)性測(cè)試，將面臨測(cè)試序列集過(guò)大而難以窮盡以及效率較低等問(wèn)題。
　　為了解決上述問(wèn)題，本文對(duì)處于演化過(guò)程中的Java并發(fā)程序可達(dá)性測(cè)試技術(shù)進(jìn)行了較為深入的研究。文中首先通過(guò)語(yǔ)句級(jí)的細(xì)粒度程序切片、方法級(jí)粗粒度程序

2、切片以及概念格等修改影響分析技術(shù)，識(shí)別出程序中受程序修改影響的代碼部分，獲取受修改影響的同步事件集合，在此基礎(chǔ)上探索可達(dá)性測(cè)試約減技術(shù)，提出基于修改影響分析的回歸可達(dá)性測(cè)試方法。
　　基于修改影響分析的回歸可達(dá)性方法采用動(dòng)態(tài)框架，無(wú)需構(gòu)造程序靜態(tài)模型和記錄已執(zhí)行的同步序列，保證選取的同步序列僅執(zhí)行一次，所構(gòu)造的競(jìng)爭(zhēng)表僅覆蓋受影響同步事件的所有競(jìng)爭(zhēng)結(jié)果。根據(jù)本文算法，我們實(shí)現(xiàn)了一個(gè)回歸可達(dá)性測(cè)試原型工具RegRichTest，并通過(guò)