基于符号执行与混合约束求解的测试用例生成研究

• 作者: 吴军华 周海将
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 测试用例生成 符号执行技术 混合约束求解 字符串
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 23-26,31
• 页数: 5页
• 分类号: TP301
• 字数: 5200字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.06.006

摘要

由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持，因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型检测软件对被测软件源代码进行符号执行，生成关于字符串与数值的混合约束集，利用字符串数值约束求解器对约束集进行求解，最终根据求解结果生成软件测试用例与不可达路径。实验结果表明，该方法较好地支持了关于字符串测试用例生成，且具有良好的效率与准确性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴军华	南京工业大学计算机科学与技术系	33	261	7.0	14.0
2	周海将	南京工业大学计算机科学与技术系	1	2	1.0	1.0