赵慧娟
- 作品数:2 被引量:9H指数:2
- 供职机构:北京交通大学计算机与信息技术学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于符号执行的单元测试研究与应用被引量:2
- 2012年
- 近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用。重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势。
- 赵慧娟孙文辉
- 关键词:软件测试
- 基于退火遗传算法的单元测试方法被引量:7
- 2013年
- 为提高单元测试的效率,提出一种基于退火遗传算法的自动化单元测试方法。将遗传算子与进化代数进行关联,使其更快收敛于最优解。采用基于分支距离的方法构造适应值函数,根据代码转换功能,将判定结点处的代码转换为平行结构、将分支距离量化为[0,1]之间的数。实验结果表明,该方法能以更短的时间获得更高的代码覆盖率。
- 赵慧娟孙文辉
- 关键词:软件测试遗传算法模拟退火算法遗传算子适应值函数