基線(xiàn)方法在測(cè)試數(shù)據(jù)生成中的應(yīng)用與實(shí)現(xiàn).pdf

1、在軟件生命周期中，軟件測(cè)試占有十分重要的位置，是保證軟件質(zhì)量的重要手段。隨著軟件復(fù)雜度不斷上升，軟件測(cè)試的難度越來(lái)越大，消耗的成本不斷增加。測(cè)試數(shù)據(jù)的生成作為軟件測(cè)試的一個(gè)重要環(huán)節(jié)，自動(dòng)化的測(cè)試數(shù)據(jù)生成過(guò)程，將有效提高軟件測(cè)試的效率、準(zhǔn)確度，降低成本。
　　 本文首先介紹了軟件測(cè)試的原則、內(nèi)容、過(guò)程模型及技術(shù)分類(lèi)，分析比較了四類(lèi)軟件測(cè)試的過(guò)程模型、靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試。對(duì)現(xiàn)有的自動(dòng)測(cè)試框架模型進(jìn)行了總結(jié)分析，提出了一個(gè)測(cè)試數(shù)據(jù)生成

2、框架模型。重點(diǎn)深入研究了面向路徑的測(cè)試數(shù)據(jù)生成問(wèn)題。對(duì)程序控制流圖自動(dòng)生成方法，測(cè)試路徑自動(dòng)生成方法進(jìn)行了分析，提出了程序控制流圖生成算法、以及基于控制流的測(cè)試路徑自動(dòng)生成算法。最后，結(jié)合Gupta迭代松弛法，開(kāi)發(fā)了一個(gè)基于路徑覆蓋的測(cè)試數(shù)據(jù)自動(dòng)生成工具。
　　 其中，基于控制流的測(cè)試路徑自動(dòng)生成算法是對(duì)McCabe提出的基線(xiàn)算法(Baseline Method)做出的改進(jìn)，是一種新的算法。該方法采用隨機(jī)法生成初始基線(xiàn)路徑，實(shí)現(xiàn)