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

CCNeter:An Automatic Modeling Tool Based on Petri Nets for C Program

作　　者：周国富[1,2] 孙韵秋[2] 蔡宇[2] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机科学》2011年第5期96-101,共6页Computer Science

基　　金：国家自然科学基金(61040036);教育部留学回国人员科研启动基金资助项目;湖北省自然科学基金(2009CDB218);中央高校基本科研专项资金(6082015);高等学校学科创新引智计划(B07037)资助

摘　　要：CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。CCNeter is an automatic modeling tool based on CNet,an extension of Petri nets.CCNeter respectively describes data,operations and control from a sourece code.Accordingly,on Petri nets specification the relationship among data,operation and control can be discovered.Through capturing the dependency relations among source files,functions and variables of C project,CCNeter automatically creates CNet specification for C program,then draws and lays out the specification.CCNeter is an important precondition task of static analysis of program code.

关 键 词：PETRI网 CNET 形式化技术 自动建模 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]