軟件測試第四章測試人員的圖論-全文預覽
【正文】 偶集合。其中： P是端口事件的集合。 定義 當觸發(fā) Petri網一個轉移時 ， 要從其每個輸入地點刪除一個記號 ， 并在其每個刪除地點增加一個記號 。 用于 PIN嘗試的有限狀態(tài)機 東北大學軟件學院 Petri網 東北大學軟件學院 定義 Petri網是一種雙向有向圖 (P， T， In， Out)， 其中 ，P和 T是不相交的節(jié)點集合 ， In和 Out是邊集合 ， In P T， Out T P。 2． (經過改進的定義 ) 節(jié)點要么是整個語句 ， 要么是語句的一部分 ， 邊表示控制流 (從節(jié)點 i到節(jié)點 j有一條邊 ， 當且僅當對應節(jié)點 j的語句或語句的一部分 ， 可以立即在節(jié)點 i對應的語句或語句的一部分之 后執(zhí)行 )。 n1和 n6是 2— 連接 。 2連接 ， 當且僅當 從 ni和 nj之間有一條路徑 。 可到達性矩陣 東北大學軟件學院 定義 有 m個節(jié)點的有向圖 D = (V， E)的可達性矩陣是一種 m m矩陣 R = (r(i,j))， 其中 r(i， j)是 1， 當且僅當從節(jié)點 i到節(jié)點 j有一條路徑 ， 否則該元素為 0。 有向圖的相鄰矩陣 東北大學軟件學院 定義 有 m個節(jié)點的有向圖 D = (V， E)的相鄰矩陣是一種m m矩陣： A = (a(i， j))， 其中 a(i， j)是 1， 當且僅當從節(jié)點 i到節(jié)點 j有一條邊 ， 否則該元素為 0。 節(jié)點 n的內度記做 indeg(n) 有向圖中節(jié)點的外度 ， 是將該節(jié)點作為開始節(jié)點的不同邊的條數 。 n是 G中的節(jié)點數 。 等價類中的節(jié)點是圖的組件 。 為了說明這一點 ， 可以再復習一遍定義等價關系的三個性質： 1． 連接性是自反的 ， 因為每個節(jié)點顯然都在到其本身長度為 0的路徑上 。 路徑可以描述為一系列邊 ， 也可以描述為一系列節(jié)點 。我們把節(jié)點 n的度記做 deg(n)。第四章 測試人員的圖論 東北大學軟件學院 圖 東北大學軟件學院 圖 (又叫做線性圖 )是一種由兩個集合定義的抽象數學結構 ， 即一個節(jié)點集合和一個構成節(jié)點之間連接的邊集合 。 舉例 東北大學軟件學院 V={nl， n2， n3， n4， n5， n6， n7) E={e1， e2， e3， e4， e5}={(nl， n2)， (nl， n4)， (n3， n4)， (n2， n5)， (n4， n6)} 圖 41 有 7個節(jié)點和 5條邊的圖 n1 n2 n4 n3 n5 n6 n7 e1 e2 e3 e4 e5 節(jié)點的度 東北大學軟件學院 定義 圖中節(jié)點的度是以該節(jié)點作為端點的邊的條數。 n1 n2 n3 n4 n5 n6 n7 n1 0 1 0 1 0 0 0 n2 1 0 0 0 1 0 0 n3 0 0 0 1 0 0 0 n4 1 0 1 0 0 1 0 n5 0 1 0 0 0 0 0 n6
醫(yī)療健康相關推薦
鄂ICP備17016276號-1