一个用静态分析方法求程序流程图的算法(PFGA)

摘要

程序流程图(简称PFG)是对程序进行测试分析的基础。本文旨在给出一个算法PFGA(程序流程图算法),它对我们所定义的语言L所编写的任意程序通过静态分析方法将求出程序的PFG。算法PFGA适用于多种高级语言程序,运用本算法的概念不难开发出相应的程序测试的辅助工具,因此PFGA具有一定的实用价值。