[发明专利]一种基于设备规约的虚拟原型错误检测方法有效
| 申请号： | 201711265443.3 | 申请日： | 2017-12-05 |
| 公开（公告）号： | CN108228314B | 公开（公告）日： | 2021-08-20 |
| 发明（设计）人： | 陈铭松;顾海峰 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F9/455 | 分类号： | G06F9/455 |
| 代理公司： | 上海蓝迪专利商标事务所(普通合伙) 31215 | 代理人： | 徐筱梅;张翔 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于设备规约的虚拟原型错误检测方法，包括以下步骤：步骤1：使用SystemRDL语言描述硬件设备的规约；步骤2：将硬件设备规约转化为一个可执行的FDM模型；步骤3：通过运行硬件设备的虚拟原型来记录抓取到设备运行的trace序列；步骤4：将FDM模型和trace序列作为输入，利用符号执行引擎对虚拟原型进行错误检测。本发明基于硬件设备的SystemRDL规约，通过自动转换工具可以得到对应硬件设备的FDM模型并以此为参照来检测硬件设备虚拟原型中可能存在的错误，从而能够在早期系统设计的时候及时发现错误。 | ||
| 搜索关键词： | 一种 基于 设备 规约 虚拟 原型 错误 检测 方法 | ||
【主权项】：
1.一种基于设备规约的虚拟原型错误检测方法，其特征在于，该方法包括以下步骤：步骤1：使用SystemRDL语言描述硬件设备的规约；步骤2：将硬件设备规约转化为一个能够执行的FDM模型；步骤3：通过运行硬件设备的虚拟原型来记录抓取到设备运行的trace序列；步骤4：将FDM模型和trace序列作为输入，利用符号执行引擎对虚拟原型进行错误检测。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711265443.3/，转载请声明来源钻瓜专利网。
- 上一篇：下游容器的发现方法及装置
- 下一篇：虚拟机命令行管理方法及装置
