基于前驅(qū)約束的測(cè)試用例優(yōu)先級(jí)技術(shù)研究.pdf

1、軟件測(cè)試在軟件開(kāi)發(fā)和維護(hù)的各個(gè)階段至關(guān)重要。它貫徹于軟件定義和開(kāi)發(fā)的整個(gè)階段即整個(gè)軟件開(kāi)發(fā)的過(guò)程。而軟件測(cè)試中的難點(diǎn)和重點(diǎn)是測(cè)試用例的生成設(shè)計(jì)，其設(shè)計(jì)的依據(jù)主要來(lái)自軟件的測(cè)試需求，其中涉及到利用測(cè)試需求得到測(cè)試用例之間的交互復(fù)雜性來(lái)生成初步的測(cè)試用例集，即測(cè)試用例的充分性覆蓋準(zhǔn)測(cè)問(wèn)題，本文的主要研究問(wèn)題就是基于測(cè)試需求的軟件測(cè)試范疇，利用Rally Software公司開(kāi)發(fā)的軟件Rally追蹤測(cè)試需求間的約束關(guān)系，并記載它們的優(yōu)先等級(jí)進(jìn)

2、而為得到前趨圖(Precedence Graph)做準(zhǔn)備。
　　基于前驅(qū)約束（Precedence Constraints）的測(cè)試用例優(yōu)先級(jí)技術(shù)是一種新興的測(cè)試用例生成技術(shù)。充分考慮了在測(cè)試之間存在的前驅(qū)約束，利用直接傳遞閉包算法、深度優(yōu)先搜索算法、貪心算法對(duì)測(cè)試集進(jìn)行優(yōu)化排序。本文在S. Haidry和T.Miller提出的基于前驅(qū)約束的測(cè)試用例生成的基礎(chǔ)上，深入研究了測(cè)試用例排序的算法，并對(duì)此算法進(jìn)行了改進(jìn)，實(shí)現(xiàn)了更進(jìn)一步的優(yōu)

3、化，分別從靜態(tài)和動(dòng)態(tài)的方法進(jìn)行探討和實(shí)驗(yàn)分析。首先，在研究前驅(qū)約束的定義和分類(lèi)的基礎(chǔ)上，根據(jù)測(cè)試需求和被測(cè)系統(tǒng)的設(shè)計(jì)生成前驅(qū)圖（描述測(cè)試之間的前驅(qū)約束關(guān)系）以得到初步的測(cè)試用例集，利用算法或者覆蓋矩陣（Coverage Matrix）衡量各個(gè)測(cè)試用例的優(yōu)先等級(jí)，以得到排序最優(yōu)的測(cè)試集。最后通過(guò)工業(yè)上常用的系統(tǒng)對(duì)新技術(shù)進(jìn)行測(cè)試，并與已經(jīng)流行的現(xiàn)存的排序技術(shù)進(jìn)行對(duì)比，證明了基于前驅(qū)約束測(cè)試用例優(yōu)先級(jí)技術(shù)在提高錯(cuò)誤檢測(cè)率方面的可行性和實(shí)用性。