基于块的流图模型及其控制流图 |
| |
引用本文: | 陈卫东,杨建军,叶澄清,潘云鹤. 基于块的流图模型及其控制流图[J]. 浙江大学学报(工学版), 2003, 37(2): 144-150 |
| |
作者姓名: | 陈卫东 杨建军 叶澄清 潘云鹤 |
| |
作者单位: | [1]浙江大学计算机科学系,浙江杭州310027 [2]浙江移动通信有限责任公司,浙江杭州310006 |
| |
基金项目: | 国家自然科学基金资助项目(60073027). |
| |
摘 要: | 针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题,提出了基于块的流图模型及其基本图式。该模型巧妙地借鉴了集成电路布丝的思想,极易从控制流图定位到程序代码,而且在流图上附有覆盖率等信息,尤其适合应用到具体的工程测试中进行排错和覆盖分析。最后,给出基于块的流图模型的两种不同的表现形式:BlockFlow图和BlockDiagram图。这两种形式表明基于块的控制流图模型是非常有效的。
|
关 键 词: | 流图模型 控制流图 块 节点 段 不可见段 BlockFlow图 BlockDiagram图 |
文章编号: | 1008-973X(2003)02-0144-07 |
修稿时间: | 2002-01-11 |
Control flowgraph and its blockbased model |
| |
Abstract: | |
| |
Keywords: | control flowgraph model control flowgraph block node segment invisible segment BlockFlow graph BlockDiagram graph |
本文献已被 CNKI 维普 等数据库收录! |