机构地区: 佛山大学机电与信息工程学院机电工程系
出 处: 《暨南大学学报(自然科学与医学版)》 1992年第1期33-39,共7页
摘 要: 给出由有向图的邻接矩阵生成其投影图邻接矩阵的一个算法。借助于此算法,可用矩阵为工具对软件的控制流作静态测试,并可对软件流程图的非结构性作出检测。 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.
领 域: [自动化与计算机技术] [自动化与计算机技术]