单元自动化测试中类的抽象内存模型研究

来源：计算机测量与控制杂志2022年第2期北京时间：

作者：杜婉莹,王雅文

摘要：由于面向对象程序具有多态性等复杂特性，在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型，为了解决这一问题，对类的抽象内存模型进行研究，并提出类的操作语义模拟算法。在路径分析时，通过构建和更新抽象内存模型，从而对变量所属类的范围进行限定。对于单元测试，对基于输入域的随机测试进行优化，提出基于路径的随机测试方法，得到输入变量的类型集合。实验表明，类的抽象内存模型结合操作语义模拟算法能够有效提取出路径中类相关的约束，基于路径的随机测试方法比起基于输入域的随机测试方法能够明显提高测试效率。

关键词：面向对象;单元测试;抽象内存模型;符号表;静态分析;测试用例

基金资助：国家自然科学基金（U1736110）