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

杜婉莹; 王雅文

首页> 中文期刊> 《计算机测量与控制》 >单元自动化测试中类的抽象内存模型研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机测量与控制》 |2022年第2期|84-94|共11页
作者
杜婉莹; 王雅文;
展开▼
作者单位

北京邮电大学网络与交换技术国家重点实验室;

北京100876;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
面向对象; 单元测试; 抽象内存模型; 符号表; 静态分析; 测试用例;

相似文献

中文文献
外文文献
专利

1. 认识论中抽象类主体、抽象类主体际与自然历史主体际之辨 [J] . 徐岿然 ,王敏 ,申淑芳 . 长沙理工大学学报：社会科学版 . 1999,第004期
2. 认识论中抽象类主体、抽象类主体际与自然历史主体际之辩 [J] . 徐岿然 ,王敏 . 华北电力大学学报：社会科学版 . 1999,第003期
3. 俄语中言语类和心理类抽象名词的语义配价研究 [J] . 胡应祥 . 中国俄语教学 . 2016,第002期
4. 自动化测试在流程类系统中的应用研究与实践 [J] . 赵焕芳 ,杨声钢 ,徐小平 . 中国金融电脑 . 2018,第001期
5. 自动化测试系统在控制单元黑盒故障注入测试中的应用 [J] . 谷原野 ,节忠海 ,孙运玺 . 汽车电器 . 2018,第003期
6. 面向测试用例生成的抽象内存模型研究 [C] . Tang Rong ,唐容 ,Wang Yawen . 第七届中国测试学术会议 . 2012
7. 英汉翻译中的抽象和具体——评析《多元人与单元人》的翻译技巧 [A] . 张晓敏 . 2010

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

摘要

著录项

相似文献

相关主题

期刊订阅