異步消息通信環(huán)境下并發(fā)程序的可達(dá)性測試研究.pdf

1、隨著并發(fā)系統(tǒng)在現(xiàn)代軟件開發(fā)中的應(yīng)用日益廣泛，并發(fā)程序的調(diào)試、測試技術(shù)的研究已經(jīng)引起了人們的高度重視。但是由于并發(fā)行為的復(fù)雜性以及不確定性，使得并發(fā)程序的開發(fā)、測試和維護(hù)比傳統(tǒng)的順序程序困難的多。 可達(dá)性測試是一種結(jié)合了確定性測試和非確定性測試的新的并發(fā)程序測試方法。若一個并發(fā)程序在某個特定輸入數(shù)據(jù)集下可行的同步序列是有限的，則采用可達(dá)性測試方法可以實現(xiàn)對所有可行的同步序列的完全覆蓋?？蛇_(dá)性測試過程分為兩個階段：第一步，對非確定性

2、測試得到的同步序列中存在的競爭條件進(jìn)行識別；第二步，改變競爭條件，生成該同步序列的競爭變體，然后通過執(zhí)行基于前綴的測試產(chǎn)生新的同步序列。這兩個階段不斷迭代，直到?jīng)]有新的序列生成為止。 對基于異步消息傳遞的并發(fā)程序，現(xiàn)有的可達(dá)性測試方法沒有考慮程序中存在的條件同步現(xiàn)象，導(dǎo)致測試過程中產(chǎn)生了不可行的同步序列。改進(jìn)的可達(dá)性測試方法采用基于競爭依賴的路徑約束（RDBC），通過改進(jìn)了S/V圖的生成樹的路徑約束條件，對條件同步情況進(jìn)行了正確