1. 程式人生 > >Software Testing 閱讀筆記(三)圖

Software Testing 閱讀筆記(三)圖

無向圖和有向圖

無相同的相鄰矩陣是頂點和邊之間的關係,每列為2個1,代表邊和兩個頂點相連,這裡可以用作完整性檢查,類似對偶檢查。

下面是其上面無向圖的相鄰矩陣。

該表格為無向圖的關聯矩陣,當且僅當節點i是邊j的一個端點時,第i行第j列的元素為1

鄰接矩陣是指的是結點和結點之間有連線為1。

有向圖

有向圖是頂點和頂點來表示其相鄰矩陣的,有內度和外度,即入度和出度。

內度為0的節點是源節點;

外度為0的節點是吸收節點;

內度不為0,且外度不為0的結點是傳遞節點。

在這種規定下,行的和是節點的外度,列的和是結點的內度。 

可到達性矩陣

程式圖、狀態機、Petri網

對於不熟悉的Petri網,這裡舉個例子