面向测试用例生成的抽象内存模型研究
测试用例自动生成是自动化单元测试领域的研究重点。本文提出一种使用抽象内存模型准确模拟动态数据类型的程序语义的方法来实现动态数据类型的测试用例生成。该方法首先选择目标覆盖路径，通过分析路径上的语句提取相关变量的非数值型约束和数值型约束，然后使用本文介绍的语义模拟算法将变量的约束映射到抽象内存中；路径分析结束后，根据变量的非数值型约束生成变量的形状，然后调用第三方约束求解器求解数值型约束，为数值域生成具体的值，变量的形状和数值域取值一起构建完整的测试用例。该方案可以为链表、树、字符串等数据类型生成测试用例。
软件测试 用例分析 抽象内存模型 语义模拟算法
Tang Rong 唐容 Wang Yawen 王雅文 Gong Yunzhan 宫云战
State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecom 北京邮电大学网络与交换技术国家重点实验室 北京 100876
国内会议
杭州
中文
144-149
2012-06-23（万方平台首次上网日期，不代表论文的发表时间）