一種基于Java Monitor的并發(fā)程序可達(dá)性測(cè)試改進(jìn)方法.pdf

1、并發(fā)程序軟件測(cè)試是保證并發(fā)程序質(zhì)量的重要手段。并發(fā)程序可達(dá)性測(cè)試結(jié)合了動(dòng)態(tài)分析技術(shù)和確定性執(zhí)行技術(shù)，能夠自動(dòng)生成并發(fā)程序在給定輸入下的的所有可能執(zhí)行的同步序列，解決了測(cè)試并發(fā)程序面臨的不確定性問(wèn)題，但是可達(dá)性測(cè)試面臨著同步序列集過(guò)大而難以窮盡的問(wèn)題。
　　本文將靜態(tài)程序分析技術(shù)引入并發(fā)程序可達(dá)性測(cè)試框架，基于程序規(guī)格說(shuō)明和程序?qū)崿F(xiàn)，針對(duì)使用管程同步機(jī)制的Java并發(fā)程序分析其模塊問(wèn)存在的耦合關(guān)系，以獲得可能影響程序執(zhí)行結(jié)果的同步事

2、件之間存在的不同維度的交互情況。在此基礎(chǔ)上對(duì)現(xiàn)有的可達(dá)性測(cè)試方法進(jìn)行了改進(jìn)，將可變維度組合測(cè)試策略引入并發(fā)程序可達(dá)性測(cè)試，探索基于可變維度的分組組合覆蓋的并發(fā)程序同步序列集約簡(jiǎn)方法，提出了可變維度可達(dá)性測(cè)試方法。
　　本文實(shí)現(xiàn)了一個(gè)基于可變維度組合覆蓋的競(jìng)爭(zhēng)表構(gòu)造算法，該算法基于一種歸并策略保證構(gòu)造的競(jìng)爭(zhēng)表是一個(gè)滿足同步事件間不同維度覆蓋要求的近似最優(yōu)表。我們給出了可變維度可達(dá)性測(cè)試算法，該算法采用動(dòng)態(tài)框架，無(wú)需構(gòu)造程序靜態(tài)模型和