计算机科学 ›› 2011, Vol. 38 ›› Issue (5): 96-101.
• 软件工程 • 上一篇 下一篇
周国富,孙韵秋,蔡宇
出版日期:
发布日期:
基金资助:
ZHOU Guo-fu,SUN Yun-qiu,CAI Yu
Online:
Published:
摘要: CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
关键词: Petri网,CNet,形式化技术,自动建模
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.
Key words: Petri nets,CNet,Formal method,Automatic modeling
周国富,孙韵秋,蔡宇. CCNeter : C程序代码Petri网自动建模工具[J]. 计算机科学, 2011, 38(5): 96-101. https://doi.org/
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. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I5/96
Cited