STOAT
基于模型APP自动运行时的深度检测工具
基于模型的GUI测试工具 面向安卓应用程序,通过迭代变异模型的转移概率来改变随机模型,并以随机模型表示GUI交互。
最大化测试套件代码覆盖率和事件序 列多样性 使用吉布斯采样方式对随机模型进行变异,迭代产生不同测试用例集,实现高代码覆盖率,检测出高于Monkey等现有技术3倍的软件缺陷。
采用特定格式输入和随机注入的操作 方法 通过随机生成具有特定格式的输入以填充EditText和随机注入特殊UI操作方法对工具进行增强,因此可以成功检测到更多错误。
已测试超过6000个移动软件,总计 检测出超过5800未知软件缺陷 该技术已经自动测试超过6000个移动软件,总计检测出超过5800未知软件缺陷,其中包括微信、Gmail、Google+等多个知名软件,40多个缺陷已经被确认并紧急修复。
相关论文发表于国际顶级会议之中, 获得广泛关注 获得2018国际软件工程顶级会议ICSE颁发的ACM SIGSOFT Distinguished Paper Award(国际计算机学会最佳论文奖)以及2017全国软件与应用学术会议原型工具竞赛第一名。
技术引领的工业安全产业生态服务平台 Technology Driven Service Platform for Trusted Industry
顶部