一种面向模糊测试的GUI程序空转状态实时检测方法

来源：软件学报杂志2018年第5期北京时间：

作者：张兴,冯超,雷菁,唐朝京

单位：张兴，国防科技大学 电子科学学院, 湖南 长沙 41007311,冯超，国防科技大学 电子科学学院, 湖南 长沙 41007302,雷菁，国防科技大学 电子科学学院, 湖南 长沙 41007303,唐朝京，国防科技大学 电子科学学院, 湖南 长沙 41007304

摘要：针对当前Windows下GUI软件模糊测试过程中，由于进入空转状态时刻判断不准确导致的测试效率降低的问题，利用自然语言处理的方法在函数执行迹的基础上来解决空转状态识别问题.首先分析了传统程序分析方法在空转状态判断上遇到的困难，提出了基于Bi-Gram模型以及统计分析的空转状态识别方法.通过Bi-Gram算法，将程序函数执行迹转换为概率特征序列；利用空转状态在特征序列中的方差特征，将空转状态特征序列从程序特征序列中分离，在此基础上，进一步提取空转状态特征并实现空转状态实时检测算法.通过对典型源码与二进制软件程序的实验测试表明，该方法在效率和准确性上优于传统方法，能够支撑对GUI程序模糊测试的需求.

关键词：模糊测试;Bi-Gram模型;GUI程序测试;空转状态测试

基金资助：国家自然科学基金（61602502）；国家重点研发计划（2016QY07X1500）