[发明专利]一种基于变异测试的虚拟原型错误检测方法在审
| 申请号： | 201811176866.2 | 申请日： | 2018-10-10 |
| 公开（公告）号： | CN109542698A | 公开（公告）日： | 2019-03-29 |
| 发明（设计）人： | 陈铭松;顾海峰;张健宁;胡铭;段文雪;谢永康;宋云飞 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F11/22 | 分类号： | G06F11/22 |
| 代理公司： | 上海蓝迪专利商标事务所(普通合伙) 31215 | 代理人： | 徐筱梅;张翔 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于变异测试的虚拟原型错误检测方法，包括以下步骤：步骤1：使用SystemRDL语言描述硬件设备的规约；步骤2：将硬件设备规约转化为一个可执行的FDM模型；步骤3：依据变异规则在FDM模型中对操作符生成对应的变异约束条件；步骤4：将FDM模型和已有的设备测试用例集traces作为输入，利用符号执行引擎对虚拟原型进行错误检测。本发明基于变异测试，通过自动插入工具能够在原始FDM模型中插入相应操作符的变异约束条件，并以此模型为参照来检测硬件设备虚拟原型中可能存在的错误，从而能够在早期系统设计的时候及时发现设计缺陷。 | ||
| 搜索关键词： | 虚拟原型 变异测试 错误检测 硬件设备 规约 约束条件 操作符 变异规则 插入工具 符号执行 设备测试 系统设计 语言描述 可执行 引擎 检测 转化 发现 | ||
【主权项】：
1.一种基于变异测试的虚拟原型错误检测方法，其特征在于，该方法包括以下步骤：步骤1：使用SystemRDL语言描述硬件设备的规约；步骤2：将硬件设备规约转化为一个能够执行的原始FDM模型；步骤3：依据变异规则对原始FDM模型中的操作符生成对应的变异约束条件和索引编号；步骤4：将FDM模型和已有的测试用例集traces作为输入，利用符号执行引擎对虚拟原型进行错误检测。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811176866.2/，转载请声明来源钻瓜专利网。
