ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

Proj CMI Paper Reading: Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Test

2022-06-03 14:31:08  阅读:144  来源: 互联网

标签:Inputs Search GUI 部件 生成 搜索 测试 序列 Execution


Abstract

背景:

  1. 基于搜索的测试已成功应⽤于为图形⽤⼾界⾯ (GUI) ⽣成复杂的事件序列
  2. 但目前基于搜索的测试仍然只能通过简单的启发式或者随机值生成小部件,对于期望⽤⼾在其 GUI 中输⼊特定输⼊值的应⽤测试效率不高

本文:
工具:EXSYST
(拓展)
任务:动态符号执行+GUI测试事件序列生成
方法:将被测系统中的标准⼩部件替换为符号小部件

实验:
数据集:两个案例研究应⽤程序
效果:
使⽤ DSE 成功地增加了获得的代码覆盖

标签:Inputs,Search,GUI,部件,生成,搜索,测试,序列,Execution
来源: https://www.cnblogs.com/xuesu/p/16339942.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有