單元測試既不屬於動態測試也不屬於靜態測試。
單元測試既可以使用靜態分析,也可以使用動態測試,對於靜態測試和動態測試應該配合使用。
從靜態測試方面來說,靜態測試的靜態**分析結果可以適用於所有可能的運**況,但動態測試由於總是對特殊取值的測試,因此僅能測試到程式的特定屬性,即保證被測元件在測試平台上對於特定的輸入是有效的。
而從另一方面來說,動態測試可以覆蓋到程式的各種前置條件和後置條件的組合情況,能夠真實反映程式在特定執行期的運轉情況,並能說明執行的常用路徑,大大超過同期靜態分析所能達到的範圍。
所以說靜態測試與動態測試應該配合使用,兩者各有千秋。首先在單元測試的執行中從特殊到一般地推導出推測性不變數,然後利用分析工具從一般到特殊地驗證不變數的存在,或者利用可在執行時檢查的斷言對**進行注釋。
軟體測試之單元測試
對於一般的大型程式,我們一般都會先進行單元測試,乙個單元一般是乙個子程式 乙個類 乙個函式 乙個模組等等,根據具體情況劃分。單元測試將注意力放在各個小的單元上,使得測試人員能夠相對容易的定位到錯誤的地方,同時由於把程式進行了模組化,所以可以多個單元模組同時測試。單元測試過程主要需要考慮兩個大點 設計...
軟體測試 Python 單元測試
數字轉布林型 class js def he self,i j 0s 0 while j i s j j 1 return simport unittest from com.tjb.tt.js import js 測試檔案不能使用 print 方法 class test1 unittest.tes...
軟體測試之 單元測試
1 單元測試是對軟體基本組成單元進行的測試,如函式 fuction或procedure 或乙個類的方法 method 這裡,基本單元不一定是指乙個具體的函式 fuction或procedure 或乙個類的方法 method 在具體實現時,也可能對應的是多個程式檔案中的一組函式。2 在軟體系統中,單元...