8、基于模型的GUI测试与软件调试技术解析

基于模型的GUI测试与软件调试技术解析

1. 三种GUI模型对比

在GUI测试领域，有三种重要的模型：事件流图（EFG）、事件交互图（EIG）和事件 - 代码交互图（ECIG）。为了对比这三种模型，我们使用了四个开源的基于GUI的应用程序，分别是：
- ArgoUML ：一款开源的软件设计和工程工具。
- Buddi ：开源的个人财务和预算软件。
- JabRef ：用于管理参考文献的开源软件。
- JEdit ：供计算机程序员使用的开源文本编辑器。

这些应用程序的属性如下表所示：
| 应用程序 | 缩写 | 版本 | 首次发布年份 | 代码行数 |
| — | — | — | — | — |
| ArgoUML | AU | 0.34 | 1999 | 70,430 |
| Buddi | BD | 3.4.1.11 | 2006 | 155,960 |
| JabRef | JA | 2.10 | 2003 | 61,714 |
| JEdit | JE | 5.1.0 | 1998 | 67,761 |

对于每个应用程序，都构建了EFG、EIG和ECIG这三种GUI模型：
- EFG模型构建 ：通过逆向工程过程，从应用程序的运行时状态中提取GUI的结构信息，识别可执行事件以及事件之间的跟随关系，将这些事件和关系建模为EFG。EFG中的顶点表示可执行的GUI事件，边表示事件之间的跟