數據流測試

  注意和cfg的區別，只有矩形框，沒有菱形框，還有cfg的菱形框的內容變成了謂詞，分直接點爲空（NULLL）   術語和路徑選擇標準：全局c-use: 定義清純路徑：i~n1~..nn~j，在i到j之間沒有被定義，也沒有取消定義（不包括i和j節點） 例如：23456就不是清純路徑，但是2345就是清純路徑。因爲節點5對TV重新定義了，（相對TV而言）   全局定義; 技巧：全局c-use向前看，

>>阅读原文<<