基于块的流图模型及其控制流图

摘要

针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题,提出了基于块的流图模型及其基本图式.该模型巧妙地借鉴了集成电路布线的思想,极易从控制流图定位到程序代码,而且在流图上附有覆盖率等信息,尤其适合应用到具体的工程测试中进行排错和覆盖分析.最后,给出基于块的流图模型的两种不同的表现形式:BlockFlow图和BlockDiagram图.这两种形式表明基于块的控制流图模型是非常有效的.