基于死鎖的并發(fā)類單元測試用例自動生成研究.pdf

1、并發(fā)故障普遍存在于并發(fā)程序中。并發(fā)類是并發(fā)程序開發(fā)和測試的基礎(chǔ)。死鎖是常見而不易檢測的并發(fā)故障。單元測試在故障檢測中發(fā)揮著重要作用。因此針對死鎖故障研究并發(fā)類單元測試用例生成，對盡早揭示死鎖故障、提高并發(fā)程序質(zhì)量均有著重要的理論意義和實際應(yīng)用價值。目前針對并發(fā)類單元測試的用例生成，主要有以隨機方式和基于覆蓋準(zhǔn)則的測試用例生成方法，但其測試用例檢測并發(fā)故障的能力和效率都不高。
　　針對并發(fā)故障特點，分析并發(fā)類中潛在故障代碼來指導(dǎo)測試

2、用例生成是一種提高測試用例生成有效性的方式。本文針對并發(fā)類中的死鎖故障，提出了一種基于死鎖的并發(fā)類單元測試用例自動生成方法(Automatic Generation Unit Test Case For Concurrent Class Based On Deadlock，AGTBD)，該方法針對并發(fā)類分析其死鎖特征，并對特殊死鎖給出了形參型死鎖定義，然后依據(jù)并發(fā)類死鎖特征進行并發(fā)類死鎖分析，以找到并發(fā)類中存在潛在死鎖的代碼，在此基礎(chǔ)上

3、，結(jié)合串行單元測試用例工具Randoop進行并發(fā)類單元測試用例自動生成。
　　為驗證本文AGTBD方法的有效性，論文以java中常見的7個并發(fā)類為測試對象，應(yīng)用AGTBD方法自動生成測試用例，并與隨機方法和基于覆蓋準(zhǔn)則的測試用例生成方法在測試用例生成效率和死鎖故障檢測能力方面進行比較分析，實驗結(jié)果表明AGTBD方法能夠找到并發(fā)類中的潛在死鎖。相比其它方法，其測試用例生成效率和死鎖故障檢測能力都有所提高。實驗還進一步分析說明了形參型