Software Testing 阅读笔记(三)图

版权声明:本文为博主原创文章,转载附上地址就可以啦,多交流,一起进步。 https://blog.csdn.net/weixin_30363263/article/details/83309003

无向图和有向图

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

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

该表格为无向图的关联矩阵,当且仅当节点i是边j的一个端点时,第i行第j列的元素为1

邻接矩阵是指的是结点和结点之间有连接为1。

有向图

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

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

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

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

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

可到达性矩阵

程序图、状态机、Petri网

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

猜你喜欢

转载自blog.csdn.net/weixin_30363263/article/details/83309003