面向测试用例生成的抽象内存模型研究

摘要

测试用例自动生成是自动化单元测试领域的研究重点.本文提出一种使用抽象内存模型准确模拟动态数据类型的程序语义的方法来实现动态数据类型的测试用例生成.该方法首先选择目标覆盖路径,通过分析路径上的语句提取相关变量的非数值型约束和数值型约束,然后使用本文介绍的语义模拟算法将变量的约束映射到抽象内存中；路径分析结束后,根据变量的非数值型约束生成变量的形状,然后调用第三方约束求解器求解数值型约束,为数值域生成具体的值,变量的形状和数值域取值一起构建完整的测试用例.该方案可以为链表、树、字符串等数据类型生成测试用例.