控制流測試

    注意：只給菱形框和矩形框定義數字   全路徑覆蓋：選擇程序中所有可能的路徑（可執行） 語句覆蓋原則：最弱覆蓋標準，所有點都走走一遍 分支覆蓋原則：所有的條件（true和false）都走一遍 謂詞覆蓋（條件組合覆蓋）：影響所有條件的組合（true和false）都執行一次。     生成測試輸入： 謂詞解釋：用全局變量和常量來描述條件

>>阅读原文<<