基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现sCREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。
推荐文章
基于源代码分析的软件静态测试
源代码分析技术
软件缺陷
Klocwork
静态测试
代码移交测试模型及其应用
软件测试模型
代码移交
测试过程
迭代测试
基于混合符号执行的Fuzzing测试技术
混合符号执行
动态插桩
Fuzzing测试
约束求解
代码覆盖率
基于混合诊断的测试性建模与分析
相关性模型
混合诊断模型
测试性
诊断分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于混合测试和动态分析的分段代码测试
来源期刊 计算机工程 学科 工学
关键词 软件测试 混合测试 分段式符号分析 动态分析 测试数据生成 分支覆盖
年,卷(期) 2015,(2) 所属期刊栏目
研究方向 页码范围 63-69,80
页数 8页 分类号 TP311.5
字数 6901字 语种 中文
DOI 10.3969/j.issn.1000-3428.2015.02.013
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 杨宗源 华东师范大学计算机科学技术系 32 326 9.0 17.0
2 徐立华 华东师范大学计算机科学技术系 4 6 2.0 2.0
3 刘春宏 华东师范大学计算机科学技术系 1 1 1.0 1.0
4 颜婷 华东师范大学计算机科学技术系 2 1 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (11)
共引文献  (15)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (1)
二级引证文献  (4)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(3)
  • 参考文献(0)
  • 二级参考文献(3)
2009(2)
  • 参考文献(1)
  • 二级参考文献(1)
2010(1)
  • 参考文献(0)
  • 二级参考文献(1)
2011(2)
  • 参考文献(1)
  • 二级参考文献(1)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(3)
  • 引证文献(0)
  • 二级引证文献(3)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
软件测试
混合测试
分段式符号分析
动态分析
测试数据生成
分支覆盖
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
总被引数(次)
317027
论文1v1指导