咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 网络空间安全

主题

  • 1 篇 关键代码区域
  • 1 篇 符号执行与实际执...
  • 1 篇 路径回溯与引导
  • 1 篇 测试数据自动生成

机构

  • 1 篇 中国信息安全测评...
  • 1 篇 北京邮电大学
  • 1 篇 北京林业大学

作者

  • 1 篇 王建新
  • 1 篇 liang xiao-bing
  • 1 篇 cui bao-jiang
  • 1 篇 王禹
  • 1 篇 wang jian-xin
  • 1 篇 梁晓兵
  • 1 篇 wang yu
  • 1 篇 崔宝江

语言

  • 1 篇 中文
检索条件"主题词=符号执行与实际执行"
1 条 记 录,以下是1-10 订阅
排序:
基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究
收藏 引用
电子与信息学报 2012年 第1期34卷 108-114页
作者: 崔宝江 梁晓兵 王禹 王建新 北京邮电大学计算机学院 北京100876 中国信息安全测评中心 北京100085 北京林业大学信息学院 北京100083
基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度... 详细信息
来源: 评论