2-白盒測試

圖和圖覆蓋準則 測試中的圖 控制流圖： 有限狀態集：（源於規格文檔） 各種設計圖： 點+邊 = 圖 點：有窮非空集合 邊：點對 初始結點 終結結點 多個初始結點的情況，規定一個啞結點，作爲初始結點   路徑：點的序列，相鄰結點必須構成有效邊 測試路徑：表達測試的執行（出發點是初始結點，終點是終結結點） 此門課：一條測試只能執行一條測試路徑（前提條件：測試環境是確定性的） 圖覆蓋準則 語法可達：在通

>>阅读原文<<