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

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

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