一個自適應的并發(fā)程序測試框架.pdf

1、隨著并發(fā)系統(tǒng)在實際應用中的推廣，并發(fā)程序的調(diào)試和測試技術的研究也受到重視。由于并發(fā)程序設計復雜，以及執(zhí)行的不可確定性，并發(fā)程序的調(diào)試和測試比順序程序復雜許多。非確定性測試操作簡單，容易實現(xiàn)，但是效率低，相同的同步序列可能被多次重復驗證。確定性測試通過人為干預程序的執(zhí)行，迫使被測程序按照給定的同步序列運行，檢驗并發(fā)程序在某一組輸入下經(jīng)歷該同步序列的正確性。確定性測試方法能夠確定地驗證給定同步序列，測試效率高，但是同步序列生成方法以及選擇確

2、定性執(zhí)行技術仍是一個待解決的難題。可達性測試結合了非確定性測試和確定性測試的優(yōu)點，動態(tài)生成同步序列集，在給定輸入的前提下窮盡被測程序所有可行的同步序列。然而，可達性測試比較耗時，對于規(guī)模較大的并發(fā)程序很難窮盡所有可行同步序列。本文提出了一個新的基于并發(fā)程序測試點(CTP)檢測的測試數(shù)據(jù)可自調(diào)整的并發(fā)測試框架。并發(fā)錯誤的根源就是資源共享，線程/進程間完全獨立的并發(fā)程序可以轉(zhuǎn)換為多個獨立運行的順序程序，也就不會有并發(fā)錯誤產(chǎn)生。該測試框架通過