陈诚

作品数：1被引量：1H指数：1
导出分析报告
供职机构：北京航空航天大学自动化科学与电气工程学院更多>>
发文主题：测试充分性准则并发程序并发死锁软件测试更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于测试充分性准则的非死锁并发缺陷定位方法被引量：1
《计算机科学》2017年第11期195-201,共7页陈诚 郑征 王皓钦 乔禹 
并发程序的非确定性使得其调试工作异常困难。基于程序谱的软件缺陷定位方法虽然能够缓解该情况,但其定位结果依赖于调试信息。针对在此过程中难以获得调试信息及如何选择利用调试信息的问题,提出了一种基于测试充分性准则的缺陷定位方...
关键词：并发程序 软件测试 软件缺陷定位 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部