{$cfg_webname}
主页 > 外文翻译 > 其他翻译 >

对安卓app的核验

来源:wenku163.com  资料编号:WK16317099 资料等级:★★★★★ %E8%B5%84%E6%96%99%E7%BC%96%E5%8F%B7%EF%BC%9AWK16317099
资料介绍

对安卓app的核验(中文6000字,英文PDF)
摘要
本篇文章着重研究一种用模型检测分析安卓app的代替式方法。我们开发出了一个Java路径寻找的拓展程序,这个叫JPF的安卓程序被用来在安卓平台外部确认安卓应用程序。JPF是一个强大的Java模型检测器和分析引擎,它在检测边角状况和难以被发现的错误时十分高效,这是因为其具有良好的根基分析能力。JPF安卓提供了一个简化的安卓app框架模型在这个模型上,安卓app可以运行同时也可以产生输入事件,或者解析具有特定序列的输入脚本,这些脚本能驱动app的运行。JPF安卓能贯穿所有的app执行路径,这种贯穿是通过模拟输入事件和检测常见的违反运行原则的错误(例如卡顿和运行时间错误)来实现的。JPF安卓同时也引入了用户定义的叫做检测列表的执行路径来确认app执行。

 

 

推荐资料