典型文献
单元自动化测试中类的抽象内存模型研究
文献摘要：
由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,对类的抽象内存模型进行研究,并提出类的操作语义模拟算法;在路径分析时,通过构建和更新抽象内存模型,从而对变量所属类的范围进行限定;对于单元测试,对基于输入域的随机测试进行优化,提出基于路径的随机测试方法,得到输入变量的类型集合;实验表明,类的抽象内存模型结合操作语义模拟算法能够有效提取出路径中类相关的约束,基于路径的随机测试方法比起基于输入域的随机测试方法能够明显提高测试效率.
文献关键词：
面向对象;单元测试;抽象内存模型;符号表;静态分析;测试用例
中图分类号：
作者姓名：
杜婉莹;王雅文
作者机构：
北京邮电大学网络与交换技术国家重点实验室,北京100876
文献出处：
引用格式：
[1]杜婉莹;王雅文-.单元自动化测试中类的抽象内存模型研究)[J].计算机测量与控制,2022(02):84-94
A类：
抽象内存模型
B类：
自动化测试,面向对象,多态性,单元测试,仅凭,静态分析,断指,指针,体类,随机测试,量的类型,有效提取,比起,测试效率,符号表,测试用例
AB值：
0.28083
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
