程序控制流图

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序控制流图的模糊测试漏洞挖掘方法
《武汉大学学报（工学版）》2023年第9期1146-1153,共8页李伟明 郭瑾仪 唐娜 
国家重点基础研发计划(编号:2017YFB0802205)。
提出了一种利用程序控制流图和符号化执行来指导生成模糊测试初始用例的方法。首先通过动态计算上下文敏感度级别和增加函数返回边优化符号化执行效率,构建出准确的二进制程序的控制流图,得到主要的程序执行路径;在此基础上,提出基于分...
关键词：模糊测试 符号化执行 程序控制流图 程序切片 
基于改进GN算法的程序控制流图划分方法被引量：1
《清华大学学报（自然科学版）》2019年第1期15-22,共8页马锐 高浩然 窦伯文 王夏菁 胡昌振 
国家重点研发计划项目(2016QY07X1404)
针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN(Girvan-Newman)算法,在边介数计算中加入点权值作为参数,使划分所得各子图的规模更加平衡;通过动态控制子图的规模,在合适的时...
关键词：程序分析 控制流图划分 聚类 GN算法 
一种可扩展的C代码静态分析方法研究
《科技风》2012年第14期13-16,共4页余亚刚 邱征 魏雪菲 
为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kri...
关键词：计算树逻辑(CTL) 程序控制流图(CFG) 代码静态分析 错误模式 
程序控制流图自动生成的算法被引量：4
《计算机与数字工程》2010年第2期28-30,共3页张雁 林英 
运用程序控制流图,可以方便地度量程序的逻辑复杂度,确定软件测试中控制结构独立路径的基本集合。文章提出了根据程序设计的伪码,自动生成程序控制流图的数据结构和详细的算法,为进行控制优化、软件基本路径测试以及程序控制相关性分析...
关键词：程序控制流图 数据结构 PDLToCFG算法 
AOP程序控制流图的生成方法被引量：1
《计算机应用与软件》2008年第5期137-139,共3页冯斌 赵建军 李楠 
面向方面编程AOP(Aspect Oriented Programming)为开发者提供了一种机制来描述横切关注点。它能够自动地将横切关注点织入到面向对象的软件系统中,从而实现了横切关注点的模块化。然而AOP这种对横切关注点封装、织入的独特性为分析程序...
关键词：面向方面编程 AspectJ控制流图 方法调用图 类层次结构图 
自动机在程序控制流图分析中的应用
《电脑知识与技术》2005年第1期29-30,共2页崔艳荣 
本文谈论了自动机和程序流图的相似之处,提出了用自动机来描述程序控制流程的方法。
关键词：自动机 程序控制流图 状态转换函数 目标代码 
基本路径法测试—典型排序程度的测试用例设计被引量：5
《山东师范大学学报（自然科学版）》2004年第1期92-93,共2页仝春灵 
通过对基本路径的分析 ,为一选择排序程序设计了合理的测试用例 。
关键词：基本路径法 测试 典型排序程度 独立路径 程序控制流图 软件开发 
并行程序控制流图可视化的实现
《中国民航学院学报》2000年第1期43-48,共6页顾兆军 张友海 
介绍了并行化编译器，在研制并行化编译器过程中，实现了程序控制流图的可视化。着重分析了抽象语法树(ＡＳＴ）中的控制流信息，给出了两种语句节点定位算法，在Ｘ－ｗｉｎｄｏｗ下实现了图形界面。
关键词：并行化编译器 抽象语法树 程序控制流图 可视化 
一种源程序到控制流图的自动生成方法被引量：7
《小型微型计算机系统》1996年第10期45-49,共5页单永明 
将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件维护等方面。
关键词：软件工程 程序控制流图 逆向工程 
程序控制流图：一种可观化的程序设计工具被引量：8
《计算机研究与发展》1995年第12期15-20,共6页杜子德 
本文详细地介绍了一种可视化的程序设计工具：控制流图（ＣＦＧ）。该图表示一个过程内所有基本块执行的可能流向，也能反映一个过程的实时执行过程。除了描述ＣＦＧ所具有的功能外，本文还论述了ＣＦＧ的实现途径以及使用方法。最后，...
关键词：程序设计工具 控制流图 程序设计环境 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部