摘要
给出由有向图的邻接矩阵生成其投影图邻接矩阵的一个算法。借助于此算法,可用矩阵为工具对软件的控制流作静态测试,并可对软件流程图的非结构性作出检测。
An algorithm for transforming the adjacent matrix of directed graph into the adjacent matrix of its projected graph is presented. By means of this algorithm, matrixes can be used in static test of control flow, and in the check of unstructuredness of flow chart.
出处
《暨南大学学报(自然科学与医学版)》
CAS
CSCD
1992年第1期33-39,共7页
Journal of Jinan University(Natural Science & Medicine Edition)
关键词
有向图
投影图
控制流
软件
流程图
directed graph
projected graph
program graph
adjacent matrix
control flow
unstructruredness