V(G)=簡單判定節(jié)點數(shù)+1V(G)=E-N+2V(G)=封閉區(qū)域數(shù)+1
1)邏輯覆蓋法 2)插樁技術(shù) 3)基本路徑測試法 4)域測試法 5)符號測試 6)Z路徑覆蓋法 7)程序變異測試法