《軟件測(cè)試藝術(shù)》讀書筆記(34)_歸納法、演繹法、回溯法、測(cè)試法調(diào)試及其原則、錯(cuò)誤分析

字號(hào):

歸納法調(diào)試,是一個(gè)需要思考的過程。歸納,是一種特殊的思考過程,可以從細(xì)節(jié)轉(zhuǎn)到全局,即:從線索除法,尋找線索之間的聯(lián)系。也就意味著:從特殊到一般。歸納調(diào)試的步驟可以概括為以下一個(gè)圖,在此就不再詳敘。
    演繹法調(diào)試,也是一個(gè)需要思考的過程。演繹,是從一些普遍的理論或前提除法,使用排除和精煉的過程,達(dá)到一個(gè)結(jié)論,即:錯(cuò)誤的位置。其步驟也可以通過一個(gè)圖來(lái)概述,在此就不再詳敘。
    回溯法調(diào)試,也是一個(gè)需要思考的過程。它常用于小型程序中來(lái)定位錯(cuò)誤。它是沿著程序的邏輯結(jié)構(gòu)回溯不正確的結(jié)果,直到找出程序邏輯錯(cuò)誤的位置,即:從程序產(chǎn)生不正確結(jié)果的地方開始,從該處觀察到的結(jié)果推斷出程序變量應(yīng)該是些什么值。所以使用這個(gè)過程,可以確定程序中從狀態(tài)符合預(yù)期的位置點(diǎn),到第一個(gè)狀態(tài)不符合預(yù)期值的位置點(diǎn)之間的范圍。
    測(cè)試法調(diào)試,也是一個(gè)需要思考的過程。它是要使用測(cè)試用例來(lái)調(diào)試。而測(cè)試用例可分兩類:供測(cè)試的測(cè)試用例;供調(diào)試的測(cè)試用例。(注意兩者的不同之處。)不過,該方法不是一個(gè)完全獨(dú)立的方法。它常常與歸納法一起使用,以獲得進(jìn)行假設(shè)和/或證明假設(shè)所需的信息;它也可以和演繹法一起使用,以排除有嫌疑的原因,提煉剩下的假設(shè),并/或證明假設(shè)。
    文尾,作者給予了調(diào)試的一些原則(首先是定位錯(cuò)誤的原則;其次是修改錯(cuò)誤的技術(shù)),及詳細(xì)的錯(cuò)誤分析。