龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：浙江大学
摘要：本发明公开一种用于验证CPU指令模拟执行效果一致性的方法，该方法首先根据指令规范手册对指令的二进制编码进行解析，识别指令的二进制编码中各个符号的具体类型，通过生成或采样等方式生成指令流测试例；然后初始化真实设备和CPU模拟器，保持两者初始状态一致，然后分别在真实设备和CPU模拟器中执行指令流测试例，得到两者的执行结果；通过比对两者的执行结果，判断指令流测试例在CPU模拟器中的运行结果是否与真实设备一致。本发明的方法使用无需特殊的硬件支持，可用于修复和改良现有的CPU模拟器，也可应用于识别模拟器环境、反模拟器、反模糊测试等场景。
主权项：1.一种用于验证CPU指令模拟执行效果一致性的方法，其特征在于，该方法包括如下步骤：S1：生成用于测试指令执行效果一致性的指令流测试例；根据指令规范手册对指令的二进制编码进行解析，识别指令的二进制编码中各个符号的具体类型，通过生成或采样生成指令流测试例；采用生成方式得到指令流测试例的方法具体如下：（1）按照各个符号的具体类型，为每个类型的符号生成一系列初始值；（2）根据指令规范手册获得各个符号的取值约束，并通过约束求解为各个符号获取有效值；（3）对指令各个符号的初始值集和约束求解得到的值集求并集，得到各个符号的有效值集合；（4）对各个符号的有效值集合进行笛卡尔乘积计算，并生成指令流测试例；S2：对真实设备和CPU模拟器进行差分测试；初始化真实设备和CPU模拟器，保持两者初始状态一致，然后分别在真实设备和CPU模拟器中执行指令流测试例，得到两者的执行结果；通过比对两者的执行结果，判断指令流测试例在CPU模拟器中的运行结果是否与真实设备一致。
全文数据：
权利要求：
百度查询： 浙江大学 一种用于验证CPU指令模拟执行效果一致性的方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号