基于事件驱动模型的GUI数据流异常分析方法

• 作者: 杨广 郭泽
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: GUI软件 数据流分析 状态迁移 别名分析 事件序列
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 软件与算法
• 页码范围: 146-151,253
• 页数: 7页
• 分类号: TP311.5
• 字数: 6160字
• 语种: 中文
• DOI: 10.16208/j.issn1000-7024.2016.01.028

摘要

针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法.基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中.实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题.