[发明专利]一种断言属性构造方法和系统与断言验证方法和系统在审
| 申请号： | 202111459676.3 | 申请日： | 2021-12-01 |
| 公开（公告）号： | CN114091388A | 公开（公告）日： | 2022-02-25 |
| 发明（设计）人： | 叶智辉;余凯;李思臻 | 申请（专利权）人： | 广东工业大学 |
| 主分类号： | G06F30/3308 | 分类号： | G06F30/3308 |
| 代理公司： | 广州粤高专利商标代理有限公司 44102 | 代理人： | 禹小明 |
| 地址： | 510090 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种断言属性构造方法和系统与断言验证方法和系统，涉及断言验证技术领域。所述断言属性构造方法包括步骤S1、获取仿真变量的所有备选参数；S2、构造仿真变量在所有备选参数下的断言属性；所述断言验证方法包括步骤：S3、启用控制参数对应的断言属性使其处于使能状态，并禁用不符合控制参数的断言属性；S4、通过使能状态的断言属性执行断言验证，判断仿真变量在仿真过程中执行的动作是否与控制变量相符合；S5、获取断言验证结果。本发明在构造断言属性过程中，无需人工对所有断言属性逐一进行构造，节约人力保证研发进度，并且不使用其他程序端口，不需要额外的脚本辅助，可复用，执行效率高。 | ||
| 搜索关键词： | 一种 断言 属性 构造 方法 系统 验证 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广东工业大学，未经广东工业大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202111459676.3/，转载请声明来源钻瓜专利网。
- 上一篇：一种半成品燕窝冻料的制备工艺
- 下一篇：一种车用手机支架
