龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：中国科学院软件研究所
摘要：本发明公开了一种针对安卓应用程序性质的检测方法及装置，包括针对不同安卓设备中的每一应用程序，基于Activity信息及Activity之间的跳转信息构建状态图，并将各状态图作为智能体进行组合，得到概率多智能体系统；将目标性质刻画为概率认知逻辑公式；将概率多智能体系统及概率认知逻辑公式，输入模型检测工具，获取目标性质的检测结果。本发明能够证明性质被满足或者给出不被满足的反例，能够建模同一安卓应用运行在不同设备上的情况下的系统，验证与不同设备上运行的安卓应用之间的交互相关的性质；可以分析在多个设备上运行的安卓应用程序组成的系统的性质，对开发者调试程序，提高程序易用性、减少程序漏洞具有积极意义。
主权项：1.一种针对安卓应用程序性质的检测方法，其步骤包括：1针对不同安卓设备中的每一应用程序，基于Activity信息及Activity之间的跳转信息构建状态图，并将各状态图作为智能体进行组合，得到概率多智能体系统；其中，所述针对不同安卓设备中的每一应用程序，基于Activity信息及Activity之间的跳转信息构建状态图，包括：将Activity信息作为状态，并作为状态图的顶点，其中把打开应用程序后进入的第一个Activity信息，作为初始状态；利用Activity之间的跳转信息，构建状态图的边；在相应的边上，标记触发页面迁移的事件，作为动作；设定相应的原子命题及状态标签函数；2将目标性质刻画为概率认知逻辑公式；其中，所述概率认知逻辑公式包括：状态公式和路径公式，所述状态公式p为原子命题，为取非操作符，∧为合取操作符，为概率操作符，表示大于、大于等于、小于、小于等于四种关系，d代表在[0,1]之间的实数，为知识认知操作符，i为一智能体，为每个人知识认知操作符，G为多智能体集合，为分布式知识认知操作符，ψ为路径公式，所述路径公式X为下一步操作符，U为直到操作符；3将概率多智能体系统及概率认知逻辑公式，输入模型检测工具，获取目标性质的检测结果。
全文数据：
权利要求：
百度查询： 中国科学院软件研究所 一种针对安卓应用程序性质的检测方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号