軟件測(cè)試-調(diào)試技術(shù)應(yīng)用研究.pdf

1、隨著社會(huì)的不斷進(jìn)步和計(jì)算機(jī)科學(xué)技術(shù)的飛速發(fā)展,計(jì)算機(jī)及軟件滲透到了人類社會(huì)的各個(gè)角落,成為國(guó)民經(jīng)濟(jì)、國(guó)防和社會(huì)日常生活中必不可少的重要組成部分.作為計(jì)算機(jī)的靈魂,軟件的作用和地位越發(fā)顯得重要.因此,軟件的質(zhì)量問(wèn)題日益成為人們關(guān)注的焦點(diǎn).許多計(jì)算機(jī)科學(xué)家在展望21世紀(jì)計(jì)算機(jī)科學(xué)發(fā)展方向和策略時(shí),將提高軟件質(zhì)量放在優(yōu)先于提高軟件功能和性能的地位.缺陷(錯(cuò)誤)是物品的固有屬性,軟件也不例外.由于軟件自身的特點(diǎn),決定了它存在錯(cuò)誤的必然性和查找、

2、糾正錯(cuò)誤的復(fù)雜性.在目前形式化方法和程序正確性證明技術(shù)還無(wú)望成為實(shí)用性方法的情況下,軟件測(cè)試在將來(lái)相當(dāng)一段時(shí)間內(nèi)仍然是軟件質(zhì)量保證的有效手段.軟件測(cè)試/調(diào)試的質(zhì)量將最終決定軟件產(chǎn)品的質(zhì)量.軟件測(cè)試與調(diào)試是兩個(gè)密切聯(lián)系的過(guò)程,軟件測(cè)試的目的是為了發(fā)現(xiàn)錯(cuò)誤,軟件調(diào)試的目的是定位錯(cuò)誤、糾正錯(cuò)誤.該文系統(tǒng)地論述了軟件測(cè)試/調(diào)試技術(shù)的一般原理和方法,結(jié)合作者的軟件開發(fā)經(jīng)驗(yàn)和測(cè)試實(shí)踐,對(duì)軟件測(cè)試的原則、軟件測(cè)試的認(rèn)識(shí)、適合與不適合對(duì)軟件進(jìn)行自動(dòng)化測(cè)

3、試的情形以及自動(dòng)測(cè)試的優(yōu)缺點(diǎn)進(jìn)行了認(rèn)真、仔細(xì)的分析和說(shuō)明.通過(guò)進(jìn)行具體的程序(腳本)設(shè)計(jì),討論了兩種模式的軟件自動(dòng)測(cè)試的實(shí)現(xiàn)方法.一種是通過(guò)傳統(tǒng)的編程對(duì)被測(cè)程序進(jìn)行"改造",使其執(zhí)行時(shí)能自動(dòng)地從測(cè)試用例文件中讀取數(shù)據(jù),將運(yùn)行結(jié)果存于結(jié)果文件中,通過(guò)實(shí)際運(yùn)行結(jié)果與預(yù)期運(yùn)行結(jié)果的比較來(lái)說(shuō)明程序是否通過(guò)測(cè)試.這種方法適用于有具體的輸入/輸出的程序的測(cè)試.第二種是通過(guò)設(shè)計(jì)腳本,借助自動(dòng)測(cè)試工具,實(shí)現(xiàn)對(duì)具有抽象輸入/輸出的程序的測(cè)試.關(guān)于軟件調(diào)試

4、技術(shù),主要研究了一種基于程序切片技術(shù)的調(diào)試方法.通過(guò)對(duì)程序按測(cè)試結(jié)果的分析選擇合適的切片變量進(jìn)行程序切片,從給定的切片變量和語(yǔ)句編號(hào)處向前回溯,找出所有直接或間接影響切片變量值的語(yǔ)句,將其組成一個(gè)切片.若切片變量的值錯(cuò)誤,則出錯(cuò)范圍必在其切片內(nèi),這樣可以縮小定位錯(cuò)誤的范圍,提高調(diào)試效率.由于對(duì)程序進(jìn)行切片也是一項(xiàng)重腦力勞動(dòng),尤其對(duì)于大規(guī)模程序更是如此,因此實(shí)現(xiàn)對(duì)程序的自動(dòng)切片勢(shì)在必行.為此,以C語(yǔ)言源程序?yàn)槔?使用VFP語(yǔ)言設(shè)計(jì)了一個(gè)對(duì)