无向图和有向图

无相同的相邻矩阵是顶点和边之间的关系,每列为2个1,代表边和两个顶点相连,这里可以用作完整性检查,类似对偶检查。

Software Testing 阅读笔记(三)图

下面是其上面无向图的相邻矩阵。

Software Testing 阅读笔记(三)图

有向图

Software Testing 阅读笔记(三)图

有向图是顶点和顶点来表示其相邻矩阵的,有内度和外度,即入度和出度。

内度为0的节点是源节点;

外度为0的节点是吸收节点;

内度不为0,且外度不为0的结点是传递节点。

Software Testing 阅读笔记(三)图

在这种规定下,行的和是节点的外度,列的和是结点的内度。 

可到达性矩阵

Software Testing 阅读笔记(三)图

程序图、状态机、Petri网

Software Testing 阅读笔记(三)图

对于不熟悉的Petri网,这里举个例子

Software Testing 阅读笔记(三)图

相关文章: