中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
计算技术研究所 [1]
采集方式
OAI收割 [11]
内容类型
期刊论文 [7]
学位论文 [4]
发表日期
2016 [1]
2015 [2]
2014 [2]
2013 [5]
2012 [1]
学科主题
Computer S... [3]
计算机软件 [2]
计算机软件::软件工... [2]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机软件::软件理... [1]
更多
筛选
浏览/检索结果:
共11条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
可线性化性错误的自动化定位与分析技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2016
陈旸
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2016/06/04
可线性化性
并发
细粒度历史
错误定位
组合测试:测试生成、错误定位与应用
学位论文
OAI收割
博士, 北京: 中国科学院大学, 2015
张智强
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2015/06/30
组合测试
测试生成
错误定位
利用回归测试数据消除程序结构噪音的软件错误定位方法
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2015
李恒
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2015/06/26
软件测试+错误定位+程序调试
基于程序执行路径的系统代码错误定位研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
周艺
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2014/05/28
错误定位
最弱前置条件
可满足性理论
动态分析
自动化测试
一种基于单条程序执行路径的错误定位方法
期刊论文
OAI收割
计算机系统应用, 2014, 期号: 10, 页码: 112-118
周艺
;
易秋萍
;
刘剑
;
淮晓永
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
错误定位
最弱前置条件
可满足性理论
动态分析
自动化测试
fault localization
weakest pre-condition computation
satisfiability modulo theories
dynamic analysis
automated testing
软件兼容性测试的故障定位分析
期刊论文
OAI收割
计算机科学与探索, 2013, 卷号: 7, 期号: 5, 页码: 405-411
赵勇
;
张智强
;
严俊
;
张健
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2013/09/17
兼容性测试
组合测试
错误定位
一种基于程序变异的软件错误定位技术
期刊论文
OAI收割
计算机学报, 2013, 卷号: 36, 期号: 11, 页码: 2236-2244
贺韬
;
王欣明
;
周晓聪
;
李文军
;
张震宇
;
张成志
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2014/12/16
软件调试
错误定位
程序变异分析
软件工程
software debugging
fault localization
program mutation analysis
software engineering
基于马尔可夫模型的软件错误定位方法
期刊论文
OAI收割
计算机学报, 2013, 卷号: 36, 期号: 2, 页码: 445-456
张云乾
;
郑征
;
季晓慧
;
张文博
;
张震宇
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2013/09/17
软件错误定位
软件错误类型
错误类型预测
马尔可夫模型
软件兼容性测试的故障定位分析*
期刊论文
OAI收割
计算机科学与探索, 2013, 卷号: 7, 期号: 5, 页码: 405-411
赵勇
;
张智强
;
严俊
;
张健
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
兼容性测试
组合测试
错误定位
compatibility testing
combinatorial testing
fault location
一种基于最小调试边界的断点自动生成技术
期刊论文
OAI收割
软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1455
作者:
李丰
;
霍玮
;
陈聪明
;
李龙
;
衷璐洁
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2023/12/04
调试
断点
最小调试边界
错误定位
依赖分析