CCNeter:C程序代码Petri网自动建模工具

• 作者: 周国富 孙韵秋 蔡宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Petri网 Cnet 形式化技术 自动建模
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 软件工程
• 页码范围: 96-101
• 分类号: TP393
• 字数: 6564字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.05.024

摘要

CCNeter是实现扩展的Petri网--CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系.它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局.CCNeter是实现程序静态分析自动化的重要前提.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周国富	武汉大学软件工程国家重点实验室	7	37	3.0	6.0
5	孙韵秋	武汉大学计算机学院	2	2	1.0	1.0
6	蔡宇	武汉大学计算机学院	1	1	1.0	1.0