对安卓app的核验

来源：wenku7.com 资料编号：WK719842 资料等级：★★★★★ %E8%B5%84%E6%96%99%E7%BC%96%E5%8F%B7%EF%BC%9AWK719842

以下是资料介绍,如需要完整的请充值下载。
1.无需注册登录,支付后按照提示操作即可获取该资料.
2.资料以网页介绍的为准,下载后不会有水印.资料仅供学习参考之用. 密保惠帮助

资料介绍

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