基于符号执行的单元测试研究与应用

• 作者: 孙文辉 赵慧娟
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 软件测试 参数化单元测试 符号执行
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 182-185,227
• 分类号: TP306+.2
• 字数: 2389字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2012.06.049

摘要

近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点.符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用.重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙文辉	北京交通大学计算机与信息技术学院	11	66	4.0	8.0
2	赵慧娟	北京交通大学计算机与信息技术学院	4	49	3.0	4.0