關於軟體測試七個核心問題

無論是要理解測試，還是做好 軟體測試，都要抓住這7個核心問題：

1. 測試選擇標準與測試充分性 (終⽌原則)

測試選擇標準是選擇測試集或確定⼀個測試集是否滿⾜指定目標的方法。測試充分性標準可以用來決定何時測試充分或者是否完成。

2. 測試有效性與測試目標

透過一系列程式的執⾏對測試的效率進⾏分析。對將要執行的測試用例的選擇因其目標而異, 即測試集的效率評價基於具體想要實現的目標。

3. 以尋找缺陷為目標的測試

在以尋找缺陷為目標的測試活動中, 是否能夠導致系統失效，這是測試是否成功的標準。這與測試軟體是否滿足設計規約或其它屬性有很大的不同, 後者的成功取決於軟體在現實的測試用例和測試環境中不出現失效。

4. Oracle問題

Oracle是決定在給定的測試條件下程式運⾏是否正確的判斷依據，以 相應地給出測試“透過”或“失效”的裁決。有許多不同種類的Oracle, 如明確的需求規約、行為模型以及程式碼註釋。機器Oracle的自動化較為困難和昂貴。

5. 理論和實際的測試限制

測試理論反對給⼀系列成功的測試賦予不正當的信任。不幸的是, ⼤大多數 建立的理論是消極的, 即它們將測試難以達到的功能確⽴為可以達到功能 的對⽴面。一個關於此的名⾔為 Dijkstra所說的“程式的測試可以表明bug的存在, 卻永遠無法確定bug徹底消失”。最顯而易⻅的原因是完整的測 試在現實的軟體中是不可能的, 正因為如此, 測試必須由⻛險驅動並被視 為一種風險管理策略。

6. 不可行路徑的問題

不可行路徑即為不可以由輸⼊資料執⾏的控制流路徑。這是基於路徑測試 的一個顯著問題, 在由測試輸⼊實行控制流路徑的⾃動衍生中表現尤為明 顯。

7. 可測性

“軟體可測性”有兩個相關但不同的含義: ⼀方面，它指滿⾜一個給定測試 覆蓋標準的難易程度;另⼀方面表⽰，當一個軟體存在缺陷時,⼀個測試集 可以暴露出缺陷的可能性。這兩個含義都很重要。

Wukong(悟空)靜態程式碼檢測工具，從原始碼開始，為您的軟體安全保駕護航!