- 年份
- 2019(1)
- 2016(2)
- 2014(1)
- 2013(1)
- 2011(1)
- 2009(1)
- 2006(1)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(7)
- 中国科学引文数据库(CSCD)(4)
- 北京大学中文核心期刊目录(北大核心)(3)
- 刊名
- 计算机科学与探索(2)
- 华中科技大学学报(自然科学版)(1)
- 吉林大学学报(信息科学版)(1)
- 地理空间信息(1)
- 无线电工程(1)
- 计算机与现代化(1)
- 计算机工程(1)
- 更多...
- 作者单位
- 苏州大学(2)
- 上海交通大学(1)
- 北京电子科技学院(1)
- 华中科技大学(1)
- 南京师范大学(1)
- 安徽理工大学(1)
- 长春工业大学(1)
- 更多...
- 语种
- 汉语(8)
- 关键词
- 动态切片(8)
- 软件测试(2)
- 静态切片(2)
- Concolic测试(1)
- Petri网(1)
- 分簇结构(1)
- 变化域(1)
- 可疑区域(1)
- 地图瓦片(1)
- 并行Java程序(1)
- 更多...
- 作者
- 侯秀萍(1)
- 刘冰(1)
- 刘长林(1)
- 卢炎生(1)
- 夏嘉斌(1)
- 孙士明(1)
- 孙琳琳(1)
- 张书亮(1)
- 张广泉(1)
- 方欢(1)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 8 条结果
- 基于并行Java程序动态切片的Concolic测试北大核心CSCDCSTPCD摘要:为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每个执行点的信息,并保证不运行相同的同步串.实验证明,基于并行Java程序动态切片的Concolic测试方法极大地提高了Concolic测试的性能和效率,具有较高的实际可操作性.
- 基于程序切片的软件测试技术初探
- 面向方面程序的简化动态依赖图切片方法CSCDCSTPCD
- 基于程序执行轨迹与动态切片的错误定位研究CSTPCD
- 基于概率推演的动态程序切片优先度计算方法CSTPCD
- 数字城市电子地图瓦片更新系统的设计与实现CSTPCD
- Petri网动态切片的最小变化域分析方法北大核心CSCDCSTPCD
- 无线传感器网络中的分簇安全数据汇聚方案北大核心CSCDCSTPCD