首页 | 本学科首页   官方微博 | 高级检索  
     

一种面向模糊测试的GUI程序空转状态实时检测方法
引用本文:张兴,冯超,雷菁,唐朝京.一种面向模糊测试的GUI程序空转状态实时检测方法[J].软件学报,2018,29(5):1288-1302.
作者姓名:张兴  冯超  雷菁  唐朝京
作者单位:国防科技大学 电子科学学院, 湖南 长沙 410072,国防科技大学 电子科学学院, 湖南 长沙 410072,国防科技大学 电子科学学院, 湖南 长沙 410072,国防科技大学 电子科学学院, 湖南 长沙 410072
基金项目:国家自然科学基金(61602502);国家重点研发计划(2016QY07X1500).
摘    要:针对当前Windows下GUI软件模糊测试过程中由于进入空转状态时刻判断不准确导致的测试效率降低的问题,本文利用自然语言处理方法的在函数执行迹的基础上来解决空转状态识别问题.论文首先分析了传统程序分析方法在空转状态判断上遇到的困难,提出了基于Bi-Gram模型以及统计分析的空转状态识别方法.通过Bi-Gram算法将程序函数执行迹转换为概率特征序列;利用空转状态在特征序列中的方差特征将空转状态特征序列从程序特征序列中分离,在此基础上进一步提取空转状态特征并实现空转状态实时检测算法.通过对典型源码与二进制软件程序的实验测试表明,本方法在效率和准确性上较传统方法上更优,能支撑对GUI程序模糊测试的需求.

关 键 词:模糊测试|Bi-Gram模型|GUI程序测试|空转状态识别
收稿时间:2017/5/31 0:00:00
修稿时间:2017/8/29 0:00:00

Real Time Idle State Decection Method in Fuzzing Test in GUI Program
ZHANG Xing,FENG Chao,LEI Jing and TANG Chao-Jing.Real Time Idle State Decection Method in Fuzzing Test in GUI Program[J].Journal of Software,2018,29(5):1288-1302.
Authors:ZHANG Xing  FENG Chao  LEI Jing and TANG Chao-Jing
Affiliation:School of Electronic Science and Technology, National University Of Defense Technology, Changsha 410073, China,School of Electronic Science and Technology, National University Of Defense Technology, Changsha 410073, China,School of Electronic Science and Technology, National University Of Defense Technology, Changsha 410073, China and School of Electronic Science and Technology, National University Of Defense Technology, Changsha 410073, China
Abstract:GUI program''s idle state usually cause the low efficiency of fuzzing test.It tries to solve idle state detecting problem based on function trace by nature language processing method.First it analyzes the difficulties that traditional program analysis method faces in idle state detection,and then proposes a idle state detecting method based on Bi-Gram module and statistical analysis.Bi-Gram algorithm transforms the function trace of the GUI program to probabilistic characteristics sequence.Then divides the idle state probabilistic characteristics sequence from prgram''s probabilistic characteristics by variance characteristics of idle state probabilistic characteristics sequence and finally extract idle state features which applied to the real-time idle state detecting algorithm.Experiments of source code and binary program shows that new method is more efficient and accuracy than traditional method.
Keywords:fuzzing test|Bi-Gram module|GUI program testing|idle state detection
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号