颜婷
- 作品数：2 被引量：3H指数：1
- 供职机构：华东师范大学信息科学技术学院计算机科学技术系更多>>
- 发文基金：上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于混合测试和动态分析的分段代码测试被引量：1
- 2015年
- 传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现s CREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。
- 刘春宏徐立华颜婷杨宗源
- 关键词：软件测试测试数据生成
- 分段式分析方法在动态符号执行中的应用
- 动态符号执行技术是一种符号执行与具体执行相结合的测试手段。随着计算机应用的发展,软件结构变得越来越复杂。被测系统复杂性的日益增加使得动态符号执行的发展遇到了瓶颈,测试覆盖率难以提高,影响测试数据的完备性,进而影响软件的质...
- 颜婷
- 文献传递
