| CCNeter : C程序代码Petri网自动建模工具 |
| |
| 引用本文： | 周国富,孙韵秋,蔡宇.CCNeter : C程序代码Petri网自动建模工具[J].计算机科学,2011,38(5):96-101. |
| |
| 作者姓名： | 周国富 孙韵秋 蔡宇 |
| |
| 作者单位： | 1. 武汉大学软件工程国家重点实验室,武汉,430072;武汉大学计算机学院,武汉,430072
2. 武汉大学计算机学院,武汉,430072 |
| |
| 基金项目： | 本文受国家自然科学基金(61040036)，教育部留学回国人员科研启动基金资助项目，湖北省自然科学基金(2009CDB218)，中央高校基本科研专项资金(6082015)，高等学校学科创新引智计划(B07037)资助。 |
| |
| 摘 要： | CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具，对程序语句从数据、操作和控制3个方面进行描述，刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系，自动形成程序的CNet规范，并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
|
| 关 键 词： | Petri网，CNet，形式化技术，自动建模 |
CCNete: An Automatic Modeling Tool Based on Petri Nets for C Program |
| |
| ZHOU Guo-fu,SUN Yun-qiu,CAI Yu.CCNete: An Automatic Modeling Tool Based on Petri Nets for C Program[J].Computer Science,2011,38(5):96-101. |
| |
| Authors: | ZHOU Guo-fu SUN Yun-qiu CAI Yu |
| |
| Affiliation: | (State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072,China);(School of Compater,Wuhan University,Wuhan 430072,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Petri nets CNet Formal method Automatic modeling |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
