主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

符号执行循环和递归制导技术研究  CNKI文献

符号执行是近年来一种比较热门的程序分析和测试方法,能够自动探索程序的路径空间,分析进入各路径的约束条件并生成测试用例,具有自动化程度高、路径覆盖率高等优点,在程序分析、自动化测试等领域都有广泛的应用...

许珂磊 导师:汤恩义 南京大学 2019-05-20 硕士论文

关键词: 符号执行 / 路径爆炸 / 循环制导 / 递归制导

下载(73)| 被引(0)

基于依赖条件重构的程序符号值分析方法  CNKI文献

符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶...

郭曦 王盼 《电子学报》 2019年03期 期刊

关键词: 程序分析 / 符号执行 / 关联依赖 / 约束求解

下载(49)| 被引(1)

程序状态条件合并中变量隐式关联分析方法  CNKI文献

程序分析的主要目标是对程序的性质进行研究,符号执行作为目前主流的分析方法在生成高效的测试用例集或提高路径覆盖率等方面发挥着重要的作用,其中路径条件表达式的提取以及约束求解是路径分析过程中的关键步骤...

郭曦 王盼 《计算机研究与发展》 2018年10期 期刊

关键词: 路径分析 / 状态合并 / 依赖条件 / 符号执行

下载(56)| 被引(0)

基于变量符号关联分析的程序状态优化方法  CNKI文献

程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成...

郭曦 王盼 《通信学报》 2018年06期 期刊

关键词: 程序分析 / 符号执行 / 约束求解器 / 符号分析

下载(32)| 被引(2)

基于动态符号执行的程序差异行为分析技术研究与实现  CNKI文献

随着软件的演化,借助补丁以修复程序中存在的缺陷是提升软件质量和可信程度的重要手段。然而程序补丁可能会引入新的问题,现有的软件补丁测试技术有如下几个主流方向:测试用例自动增强技术、代码变更影响分析技术、多...

胡文颖 导师:梁洪亮 北京邮电大学 2018-03-15 硕士论文

关键词: 程序行为差异 / 动态符号执行 / 测试用例生成 / 源代码差异

下载(66)| 被引(0)

一种符号执行制导的循环内界分析方法  CNKI文献

循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行...

赵祖威 冯世宁... 《电子学报》 2017年11期 期刊

关键词: 循环边界分析 / 符号执行 / 软件测试

下载(62)| 被引(3)

形状分析符号执行引擎中的状态合并  CNKI文献

符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成。符号执行在分析程序时,以模拟真实的程序执行过程的方式分析程序的数据流和控制流信息,并检查...

邓维 李兆鹏 《计算机科学》 2017年02期 期刊

关键词: 符号执行 / 状态合并 / 求解代价 / 内存模型

下载(40)| 被引(3)

形状分析符号执行引擎中的状态合并  CNKI文献

C语言以其对底层机器操控的灵活性,在操作系统、嵌入式软件、底层驱动等要求高效的软件设计领域得到广泛应用。然而出于灵活性和效率的考虑,C语言赋予程序员对计算机完全掌控的能力同时,牺牲了一定的安全性:非法指针...

邓维 导师:李兆鹏 中国科学技术大学 2016-05-01 硕士论文

关键词: 符号执行 / 状态合并 / 求解代价 / 内存模型

下载(60)| 被引(0)

基于符号分析的静态缺陷检测技术研究  CNKI文献

近年来,随着软件规模的扩大、复杂度的提升、应用领域的拓展,软件的可信性问题已成为用户、从业人员和研究人员共同关注的焦点。目前业界公认的一个观点是,如何在软件开发的早期尽可能地发现并排除软件缺陷以节省成本...

赵云山 导师:宫云战 北京邮电大学 2012-04-28 博士论文

关键词: 缺陷模式 / 静态分析 / 符号分析 / 函数摘要

下载(1195)| 被引(32)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状