第7章结构测试基础.pptVIP

第七章 结构测试基础 Contents 7.1 图和有向图 图：由节点集合和节点之间的边集合构成的数学结构。 图G=(V,E) V={n1,n2,…nm} E={e1,e2,…ep} 其中每条边ek={ni,nj}，ni、nj V V={n1,n2,n3,n4,n5,n6,n7} E={e1,e2,e3,e4,e5} ={(n1,n2),(n1,n4),(n3,n4),(n2,n5),(n4,n6)} 节点的度 节点的度是以该节点为端点的边的条数，节点n的度记为deg(n) 例：deg(n1)=2 deg(n2)=2 deg(n3)=1 deg(n4)=3 deg(n5)=1 deg(n6)=1 deg(n7)=0 关联矩阵 有m个节点和n条边的图G=(V,E)的关联矩阵是一种m*n矩阵，其中第i行第j列的元素是1，当且仅当节点i是边j的一个端点，否则该元素是0。 相邻矩阵 有m个节点和n条边的图G=(V,E)的相邻矩阵是一种m*m矩阵，其中第i行第j列的元素是1，当且仅当节点i和节点j之间存在一条边，否则该元素是0。 相邻矩阵是对称的，行的和是节点的度 路径 路径是一系列的边或节点的序列 n1到n5之间的路径 节点表示：n1→n2→n5 边表示：e1e4 n1到n6之间路径 n1→n4→n6 e2e5 连接性 节点ni和nj是被连接的，当且仅当他们都在同一条路径上。 图的组件是相连节点的最大集合。 {n1,n2,n3,n4,n5,n6} {n7} 压缩图 给定图G=(V,E)，其压缩图通过用压缩节点替代每个组件构成。 s1={n1,n2,n3,n4,n5,n6} s2={n7} 圈数 图G的圈数V(G)=e-n+p e:图G的边数 n:图G的节点数 p:图G的组件数 V(G)=5-7+2=0 有向图 有向图D=(V,E)包含一个有限的节点集合V={n1,n2,n3,n4,n5,n6,n7}，一个边的集合E={e1,e2…ep}，其中每条边ek=ni,nj是节点ni,nj V的一个有序对偶 V={n1,n2,n3,n4,n5,n6,n7} E={e1,e2,e3,e4,e5} ={n1,n2,n1,n4，n3,n4， n2,n5， n4,n6} 内度与外度 有向图节点的内度，是将该节点作为终止节点的不同边的条数，节点n的内度记为indeg(n) 有向图节点的外度，是将该节点作为开始节点的不同边的条数，节点n的外度记为outdeg(n) indeg(n1)=0 outdeg(n1)=2 indeg(n2)=1 outdeg(n2)=1 indeg(n3)=0 outdeg(n3)=1 deg(n)=indeg(n)+outdeg(n) 节点的类型 内度为0的节点是源节点 外度为0的节点是汇节点 内度不为0，且外度不为0的节点是传递节点 源节点----n1,n3,n7 汇节点----n5,n6,n7 传递节点----n2,n4 有向图的相邻矩阵 有m个节点的有向图D=(V,E)的相邻矩阵是m*m的矩阵：A=(a(i,j))，其中a(i,j)是1，当且仅当从节点i到节点j有一条边，否则该元素为0。 有向图的相邻矩阵不一定是对称的 路径与半路径 （有向）路径是一系列边，使得对于该序列中的所有相邻边对偶ei,ej来说，第一条边的终止节点是第二条边的初始节点。 环路是一个在同一个节点上开始和结束的有向路径。 （有向）半路径是一系列边，使得对于该序列中至少有一个相邻边对偶ei,ej来说，第一条边的初始节点是第二条边的初始节点，或第一条边的终止节点是第二条边的终止节点。 从n1到n6的一条路径 e2,e5：e2终止节点是e5的初始节点 n1和n3之间的一条半路径 e2,e3：e2和e3有相同的终止节点 n2和n4之间的一条半路径 e1,e2：e1和e2有相同的初始节点 n5和n6之间的一条半路径 e1,e2,e4,e5：e1和e2有相同的初始节点 n-连接性 有向图中的两个节点ni和nj 0-连接，当且仅当ni和nj之间没有路经 1-连接，当且仅当ni和nj之间有一条半路经，但没有路经 2-连接，当且仅当ni和nj之间有一条路经 3-连接，当且仅当ni和nj之间有一条路经，并且从nj到ni有一条路径