程序控制流图

作品数：10被引量：22H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙利民卢凯张南张浩宇刘雯雯更多>>
相关机构：中国科学院浙江大学北京理工大学国防科学技术大学更多>>
相关期刊：《科技风》《计算机应用与软件》《小型微型计算机系统》《电脑知识与技术》更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=代码x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种可扩展的C代码静态分析方法研究
《科技风》2012年第14期13-16,共4页余亚刚 邱征 魏雪菲 
为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kri...
关键词：计算树逻辑(CTL) 程序控制流图(CFG) 代码静态分析 错误模式 
自动机在程序控制流图分析中的应用
《电脑知识与技术》2005年第1期29-30,共2页崔艳荣 
本文谈论了自动机和程序流图的相似之处,提出了用自动机来描述程序控制流程的方法。
关键词：自动机 程序控制流图 状态转换函数 目标代码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部