[工學]南京大學軟件學院計算系統(tǒng)基礎講義第5章(編輯修改稿)
2024-11-14 23:49 本頁面
【文章內(nèi)容簡介】 對所有的輸入情況進行測試是不可能的。 示例 ? 判斷從 A到 B之間某個數(shù)字是不是素數(shù) – A和 B都是從鍵盤輸入的整數(shù)，數(shù)值范圍在 2147483648到 2147483647之間（ 231~2311） – (232)2種可能的輸入組合 – 一秒鐘進行一百萬次測試，需要 50萬年 ? 應該對哪些輸入組合進行測試呢？ – 隨機的選擇一些輸入，能夠揭示出這個程序的錯誤所在。 測試 ? 黑盒測試 –檢查程序是否符合其規(guī)格說明 ? 白盒測試 –確保每一行代碼都被測試過。 黑盒測試 ? 檢查程序是否滿足其輸入和輸出規(guī)格說明。只關心這個程序是做什么的，而不關心它是怎么做的。 ? 自動測試過程 –創(chuàng)建一個程序，可以自動運行被測試的程序，在運行中提供一些隨機的輸入，檢查輸出是否符合規(guī)格說明，然后重復這個過程。 –構(gòu)建一個檢查器程序，它與被測試的程序不同，但執(zhí)行類似的計算。 黑盒測試 ? 不可能知道哪幾行代碼已被測試過，哪些還沒被測試 ——任何一行沒有經(jīng)過測試的代碼都可能是有錯誤的。 ? 當規(guī)格說明不是很具體的時候，有時很難使用。 ? 只能在軟件完成時開始 ——為了被測試，軟件必須被編譯并且必須滿足規(guī)格說明中的一部分。 白盒測試 ? 白盒測試的目標是保證每一行代碼都要經(jīng)過某個級別的測試。 ? 檢查代碼 – 使用未經(jīng)正確初始化的變量； – 變量是否被賦予不同類型的值； – 變量聲明錯誤：類型、存儲類；初始化；未引用過；模塊中顯示聲明？ – 計算錯誤：混合類型；溢出；除數(shù)為 0；精度丟失；優(yōu)先級 – 比較錯誤：精度 – 控制流程錯誤：無限循環(huán)；從不執(zhí)行的循環(huán) 白盒測試 ? 需要修改被測試的代碼 –在代碼中添加 printf語句，以便觀察內(nèi)部變量的值，從而可以檢查程序是否按照預期運行。 –“斷言”是一種普遍應用的白盒測試技術(shù)。 斷言 ? 在程序中的特定部位，插入一些用來檢測錯誤的代碼，當檢測到某個錯誤狀態(tài)時，這些代碼就會打印出一個警告消息，顯示該狀態(tài)的一些相關信息，或者使程序提前終止。 ? 在程序執(zhí)行中使這些語句得以證實，從而使程序的運行特性得到證實 ——斷言。 示例 include int main() { int dividend。 int divisor。 int result。 printf (Enter the dividend: )。
教學課件相關推薦
鄂ICP備17016276號-1