一種基于Java Monitor的并發(fā)程序可達性測試改進方法.pdf

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

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