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

GUI data flow analysis method based on event-driven model

作　　者：杨广[1] 郭泽[1] 

机构地区：[1]中国航天科工集团第二研究院706所,北京100854

出　　处：《计算机工程与设计》2016年第1期146-151,253,共7页Computer Engineering and Design

基　　金：核高基重大专项基金项目(2014ZX01040201-003)

摘　　要：针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中。实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题。Concerning the problem that the GUI software data flow is hard to analyze,a GUI data flow analysis method based on event-driven model was presented.Based on finite state machine,a model was established to simulate variable state transition and variable alias analysis was also introduced to achieve data flow analysis in the process of methods.The event interaction sequences were acquired and used to follow the tracks of data flow.The experimental results show this method is effective on solving the difficulties of GUI data flow analysis caused by GUI software operations uncertainty.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]