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

摘要：

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

关键词：GUI软件、数据流分析、状态迁移、别名分析、事件序列

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

资助基金：核高基重大专项基金项目2014ZX01040201-003

在线出版日期：2016-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：146-151,253