×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [135]
内容类型
会议论文 [57]
期刊论文 [53]
学位论文 [25]
发表日期
2021 [1]
2016 [5]
2015 [3]
2014 [7]
2013 [14]
2012 [22]
更多...
学科主题
Computer S... [6]
Computer S... [4]
计算机科学技术基础学... [3]
计算机科学技术其他学... [2]
Engineerin... [1]
计算机应用 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共135条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向Web应用的回归测试选择工具设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者:
敖泽柳
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2021/06/11
软件测试
回归测试
回归测试选择
Web测试
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
期刊论文
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y
;
Yan, J
;
Choo, KKR
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2016/12/09
Concurrency analysis
Profiling
Dynamic analysis
Bug reproduction
Dynamic Testing for Deadlocks via Constraints
期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y
;
Lu, Q
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2016/12/09
Deadlock triggering
scheduling
should-happen-before relation
constraint
reliability
verification
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM
;
Shen, WW
;
France, RB
;
Mechling, BA
;
Li, GY
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2016/12/09
Class diagrams
UML
Java
model checking
基于容器技术的性能测试服务资源管理
期刊论文
计算机应用与软件, 2016, 卷号: 33, 期号: 7, 页码: 5-9
王晓冉
;
王伟
;
陈铁南
;
袁鑫晨
;
支孟轩
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2016/12/09
性能测试
资源评估
容器
弹性资源分配
Dynamically Discovering Likely Memory Layout to Perform Accurate Fuzzing
期刊论文
IEEE TRANSACTIONS ON RELIABILITY, 2016, 卷号: 65, 期号: 3, 页码: 1180-1194
Chen, K
;
Zhang, YJ
;
Liu, P
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2016/12/09
Dynamic testing
fuzzing
memory layout
vulnerability
white-box
组合测试:测试生成、错误定位与应用
学位论文
博士, 北京: 中国科学院大学, 2015
张智强
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2015/06/30
组合测试
测试生成
错误定位
Attention, Test Code is Low-quality!
会议论文
13th International Doctoral Symposium on Empirical Software Engineering, 中国北京友谊宾馆, 2015-10-21
Xinye Tang
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2016/06/04
Test code quality
empirical study
testing
software quality assurance
Will This Bug-fixing Change Break Regression Testing?
会议论文
the International Symposium on Empirical Software Engineering and Measurement(ESEM), 中国北京友谊宾馆, 2015-10-25
Xinye Tang
;
Song Wang
;
Ke Mao
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/06/04
source code change impact analysis
regression testing
static program analysis
软件结构化测试数据生成技术
学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2014/05/29
软件测试
结构化测试
测试数据生成
扩展有限状态机
修改的条件/判断覆盖
©版权所有 ©2017 CSpace - Powered by
CSpace