MiniBot:轻量级小程序动态测试输入生成框架

摘要

小程序这一新兴的应用形式已经广泛流行，其在为用户提供便利的同时，也不可避免地引入了新的安全风险，因此对小程序进行测试和安全分析的需求也不断增加.但由于小程序的宿主隔离、平台差异以及异常处理等挑战，目前尚未有针对小程序进行动态测试的方法和工具.本文设计并实现了一个针对小程序的轻量级动态测试输入生成框架MiniBot.首先，MiniBot对宿主应用采取挂钩技术来构建统一的测试接口，并对小程序结构和运行机制进行抽象以弥合不同平台差异.在此基础上，MiniBot实现了基于深度优先搜索的路径探索和基于页面回溯的异常处理机制，以对小程序进行高效率地自动化测试.在包含120个不同大小和不同平台小程序的数据集上，MiniBot实现了平均72.30%的页面覆盖率，其测试效率和覆盖率均超过了已有工具.MiniBot的代码已经开源，以促进相关的研究工作.

关键词

移动安全 / 小程序 / 动态测试 / 自动测试