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

1、隨著社會(huì)的不斷進(jìn)步和計(jì)算機(jī)科學(xué)技術(shù)的飛速發(fā)展,計(jì)算機(jī)及軟件滲透到了人類社會(huì)的各個(gè)角落,成為國民經(jīng)濟(jì)、國防和社會(huì)日常生活中必不可少的重要組成部分.作為計(jì)算機(jī)的靈魂,軟件的作用和地位越發(fā)顯得重要.因此,軟件的質(zhì)量問題日益成為人們關(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ù)還無望成為實(shí)用性方法的情況下,軟件測試在將來相當(dāng)一段時(shí)間內(nèi)仍然是軟件質(zhì)量保證的有效手段.軟件測試/調(diào)試的質(zhì)量將最終決定軟件產(chǎn)品的質(zhì)量.軟件測試與調(diào)試是兩個(gè)密切聯(lián)系的過程,軟件測試的目的是為了發(fā)現(xiàn)錯(cuò)誤,軟件調(diào)試的目的是定位錯(cuò)誤、糾正錯(cuò)誤.該文系統(tǒng)地論述了軟件測試/調(diào)試技術(shù)的一般原理和方法,結(jié)合作者的軟件開發(fā)經(jīng)驗(yàn)和測試實(shí)踐,對軟件測試的原則、軟件測試的認(rèn)識(shí)、適合與不適合對軟件進(jìn)行自動(dòng)化測

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

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