您的位置： 专家智库 > >

周艺

作品数：3 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
发文基金：中国科学院知识创新工程重要方向项目国家自然科学基金更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇语句
  • 2篇层次化
  • 2篇初始化
  • 1篇迭代
  • 1篇断言
  • 1篇修护
  • 1篇异常值
  • 1篇自动化
  • 1篇自动化测试
  • 1篇可满足性

机构

  • 3篇中国科学院软...
  • 1篇中国科学院大...

作者

  • 3篇刘剑
  • 3篇易秋萍
  • 3篇周艺
  • 2篇赵琛
  • 2篇杨秋松
  • 1篇淮晓永

传媒

  • 1篇计算机系统应...

年份

  • 1篇2017
  • 2篇2014
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种有效的层次化错误定位方法
本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，...
易秋萍周艺刘剑赵琛杨秋松
文献传递
一种有效的层次化错误定位方法
本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，...
易秋萍周艺刘剑赵琛杨秋松
一种基于单条程序执行路径的错误定位方法
2014年
当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误.提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位.对西门子测试数据集进行的实验表明了该方法具有良好的效果.
周艺易秋萍刘剑淮晓永
关键词：自动化测试
全选 清除 导出
共1页<1>
聚类工具0