您的位置： 专家智库 > >

任栋

作品数：1 被引量：0H指数：0
供职机构：中国人民解放军信息工程大学信息工程学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇搜索
  • 1篇最短路径
  • 1篇路径搜索

机构

  • 1篇中国人民解放...
  • 1篇中国信息安全...

作者

  • 1篇王清贤
  • 1篇刘杰
  • 1篇王嘉捷
  • 1篇任栋

传媒

  • 1篇计算机工程与...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向热点代码的路径搜索方法研究
2013年
程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法,在程序CFG(controlflow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例。实验结果表明,与DFS(depth-firstsearch)和BFS(best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间。
刘杰王嘉捷任栋王清贤
关键词：最短路径
全选 清除 导出
共1页<1>
聚类工具0