學習圖覆蓋準則需要了解一些其他基本概念。

可達：從某一個結點開始存在一條路徑可達子圖。
可達包括兩個方面：語法可達和語義可達。
語法可達：通過語法構建某種子圖結構當中，存在一條路徑可達到這個子圖。
語義可達：指在實際的程式當中存在這麼一個測試，可到到這個子圖。

由可達的概念可以拓展到另外一個概念：覆蓋

覆蓋：指存在一條測試路徑p可以覆蓋到某個頂點v，即這個頂點v恰好在這個路徑p裡面

覆蓋有：邊覆蓋，路徑覆蓋。
邊覆蓋：指存在一條測試路徑p可以覆蓋到某個邊，這個邊存在於這個p中
路徑覆蓋：測試路徑p可以覆蓋到子路徑p’，即一個子路徑p’恰好存在路徑p中。

然後就是圖覆蓋了。圖覆蓋有結構覆蓋、資料流覆蓋。
在概念需要注意結構覆蓋和資料流覆蓋的區別，後面的學習記錄會詳細介紹這兩者。
結構覆蓋我們只關注所牽扯圖的點和邊。而資料流覆蓋我們需要關注圖中點上的變數的操作是否正確。

測試準則：
測試需求(TR)：用來描述測試路徑性質的一些定義。
測試準則(TC)：指用來描述測試需求的一些規則。
測試準則TC派生出一個測試需求集TR，現有一個測試用例集T，滿足上述的測試準則。
這其實就是指這個測試需求TR裡面的每一個測試需求tr，都可以被這個大的測試用例集T中的某一個測試用例t所滿足。