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

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

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

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

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