湖北省自然科学基金(2009CDB218)
- 作品数：2 被引量：4H指数：2
- 相关作者：周国富杜卓敏蔡宇孙韵秋更多>>
- 相关机构：武汉大学更多>>
- 发文基金：教育部留学回国人员科研启动基金湖北省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 程序代码中隐含数据与控制的Petri网建模技术被引量：3
- 2011年
- 应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.
- 周国富杜卓敏
- 关键词：形式化PETRI网程序语义
- CCNeter:C程序代码Petri网自动建模工具被引量：2
- 2011年
- CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
- 周国富孙韵秋蔡宇
- 关键词：PETRI网CNET
