控制流图

作品数：171被引量：295H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战金大海何龙张鹏程史建琦更多>>
相关机构：北京邮电大学浙江大学中国科学院东南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划湖北省自然科学基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于路径覆盖准则的AOP路径生成方法研究
《计算机工程与设计》2012年第11期4209-4213,共5页王波 柴玉梅 王黎明 
在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示...
关键词：面向方面程序 控制流信息 路径覆盖 语句控制流图 交互 
基于结构语义树的高级控制结构恢复技术
《计算机工程与设计》2011年第9期3182-3186,共5页刘絮颖 尹青 蒋烈辉 刘建林 
国家863高技术研究发展计划基金项目(2007AA01Z483)
针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前...
关键词：反编译 控制流图 高级控制结构恢复 结构语义树 复合结点 
程序脆弱性发现中的测试数据生成方法研究
《计算机工程与设计》2010年第13期3010-3013,3050,共5页赵刚 赵金晶 陈华 郑纬民 
为有效产生程序测试数据,提高Fuzzing测试数据的生成效率和测试覆盖率的问题,提出了一种新的Fuzzing测试数据生成算法——H-Fuzzing。其主要思想是通过程序静态分析结果和动态运行属性,收集程序关键分支谓词的相关信息,得到其与输入变...
关键词：脆弱性分析 FUZZING测试 静态分析 动态分析 控制流图 
ARM反编译中指令解码器的设计与实现
《计算机工程与设计》2010年第17期3747-3749,3753,共4页殷文建 蒋烈辉 尹青 周丽娜 李继中 
国家863高技术研究发展计划基金项目(2007AA01Z483)
针对反编译中传统的基于机器SLED描述以及基于语言文法分析的二进制代码指令解码技术复杂、难于移植等缺点,提出了基于IDA Pro的ARM指令解码器的设计思想。该指令解码器在分析IDA Pro内部数据表示的基础上,扩展定义了指令操作数类型及...
关键词：反编译 指令解码器 连接器 结构化汇编表示 控制流图 
目标码流图和结构覆盖率获取方法被引量：1
《计算机工程与设计》2010年第11期2568-2571,共4页文勇 蔡铭 陈刚 杨子江 金星 
航天科技创新基金重点项目(CASC04);航天支撑技术基金项目(GFJG-E10803)
为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分...
关键词：软件验证 目标码验证 CPU模块扩展 控制流图 结构覆盖 
基于变量使用的静态测试方法研究被引量：1
《计算机工程与设计》2009年第9期2205-2207,2216,共4页夏玉辉 万琳 李鸣 王洪艳 
基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了...
关键词：软件测试 变量定义未使用 变量未初始化 控制流图 静态测试 
新的结构化测试数据自动生成方法被引量：1
《计算机工程与设计》2008年第10期2581-2586,共6页马建红 辛政华 王磊 徐敏 
国家自然科学基金项目(50675059);国家863高技术研究发展计划基金项目(2006AA042109);教育部博士点基金项目(20060080002);天津市自然基金项目(07JCZDJC08900)
针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结...
关键词：数据流图 控制流图 结构测试 测试数据 基因表达散乱遗传算法 黑盒优化 搜索被构想为按级别排列的联系和类的框架 串链方法 
未初始化变量的一种静态测试方法被引量：2
《计算机工程与设计》2007年第4期751-754,共4页赵鹏宇 万琳 宫云战 
总装备部十五预研基金项目(41315050107)
软件测试系统的研制是软件测试领域的一个研究热点。未初始化变量是C/C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对C/C++语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C++...
关键词：软件测试 静态测试 未初化变量 语法树 控制流图 
变量定义未使用故障的一种静态测试方法被引量：3
《计算机工程与设计》2007年第3期515-516,604,共3页夏玉辉 张威 李鸣 万琳 
总装预研基金项目(41315050107)
变量定义未使用故障是C/C++程序中的可见故障,该类故障可导致计算结果错误或系统崩溃。针对C/C++语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C++语言中变量定义未使用的故...
关键词：软件测试 静态测试 变量定义未使用故障 语法树 控制流图 
软件安全性的静态分析被引量：5
《计算机工程与设计》2006年第8期1411-1414,共4页余建军 韩双霞 黄云龙 
提出了基于整数区间和控制依赖图,通过静态分析来检测C语言源代码中安全漏洞的新方法。该方法在引入整数区间概念及其运算规则的基础上,把C语言中的数组、指针和整型表达式都抽象成整数区间,从而把相关安全性判断转换成整数区间之间的...
关键词：软件安全 静态分析 控制流图 整数区间 缓冲区溢出 整数溢出 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部