一種新的邊界測(cè)試數(shù)據(jù)自動(dòng)生成方法研究.pdf

1、軟件測(cè)試是對(duì)軟件功能、設(shè)計(jì)和實(shí)現(xiàn)的最終審定，是保證軟件質(zhì)量，提高軟件可靠性的主要技術(shù)手段。測(cè)試數(shù)據(jù)生成是軟件測(cè)試的核心與關(guān)鍵。 邊界是特別容易出現(xiàn)故障的地方。針對(duì)邊界附近的處理，設(shè)計(jì)專門(mén)的測(cè)試用例，常?？梢匀〉昧己玫臏y(cè)試效果。邊界值測(cè)試是一種常用的功能測(cè)試方法。 軟件容錯(cuò)通過(guò)軟件冗余，來(lái)屏蔽軟件故障，改善軟件系統(tǒng)的可靠性。N版本程序設(shè)計(jì)是一種通用的軟件容錯(cuò)方法。冗余捆綁式慣性測(cè)量單元-RSDIMU(RedundantSt

2、rapped-DownInertialMeasurementUnit)是采用N版本程序設(shè)計(jì)方法開(kāi)發(fā)的容錯(cuò)軟件。 本文提出了一種新的邊界測(cè)試數(shù)據(jù)生成方法，并開(kāi)發(fā)了一個(gè)相應(yīng)的測(cè)試數(shù)據(jù)自動(dòng)生成工具。針對(duì)RSDIMU容錯(cuò)軟件的需求規(guī)范，開(kāi)發(fā)了52個(gè)測(cè)試用例，對(duì)CUHK開(kāi)發(fā)的34個(gè)版本的RSDIMU程序和429個(gè)變異體進(jìn)行了測(cè)試。在經(jīng)過(guò)驗(yàn)收測(cè)試的34個(gè)版本的RSDIMU程序中，又發(fā)現(xiàn)了7個(gè)軟件故障，并且這52個(gè)測(cè)試用例可以檢測(cè)到所有429