摘要
针对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.
出处
《计算机工程与设计》
北大核心
2016年第1期146-151,253,共7页
Computer Engineering and Design
基金
核高基重大专项基金项目(2014ZX01040201-003)
关键词
GUI软件
数据流分析
状态迁移
别名分析
事件序列
GUI software
data flow analysis
state transition
alias analysis
event interaction sequences