静态分析是一种检查代码的方法,无需执行程序。它提供了一种机制,可以审查代码结构、控制流和数据流,检测潜在的可移植性和可维护性问题,计算适当的软件质量测度。
其中控制流分析包括:扇入、扇出和圈复杂度。
常见流程图结构
一种常见的程序分析方法是通过生成程序的有向控制流图来对代码进行分析,圆形节点代表基本代码块,节点间的箭头表示有向控制流路径,反向边表示可能存在的循环。
静态分析是一种检查代码的方法,无需执行程序。它提供了一种机制,可以审查代码结构、控制流和数据流,检测潜在的可移植性和可维护性问题,计算适当的软件质量测度。
其中控制流分析包括:扇入、扇出和圈复杂度。
一种常见的程序分析方法是通过生成程序的有向控制流图来对代码进行分析,圆形节点代表基本代码块,节点间的箭头表示有向控制流路径,反向边表示可能存在的循环。