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

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

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