Proj CMI Paper Reading: Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing
Abstract
背景：
- 基于搜索的测试已成功应⽤于为图形⽤⼾界⾯ (GUI) ⽣成复杂的事件序列
- 但目前基于搜索的测试仍然只能通过简单的启发式或者随机值生成小部件，对于期望⽤⼾在其 GUI 中输⼊特定输⼊值的应⽤测试效率不高
本文：
工具：EXSYST
（拓展）
任务：动态符号执行+GUI测试事件序列生成
方法：将被测系统中的标准⼩部件替换为符号小部件
实验：
数据集：两个案例研究应⽤程序
效果：
使⽤ DSE 成功地增加了获得的代码覆盖
