10.16208/j.issn1000-7024.2016.01.028
基于事件驱动模型的GUI数据流异常分析方法
针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法.基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中.实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题.
GUI软件、数据流分析、状态迁移、别名分析、事件序列
37
TP311.5(计算技术、计算机技术)
核高基重大专项基金项目2014ZX01040201-003
2016-04-19(万方平台首次上网日期,不代表论文的发表时间)
共7页
146-151,253