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

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

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