原创力文档- 1
- 0
- 约1.23万字
- 约 12页
- 2023-04-26 发布于四川
- 举报
本发明提供了一种断言属性构造方法和系统与断言验证方法和系统，涉及断言验证技术领域。所述断言属性构造方法包括步骤S1、获取仿真变量的所有备选参数；S2、构造仿真变量在所有备选参数下的断言属性；所述断言验证方法包括步骤：S3、启用控制参数对应的断言属性使其处于使能状态，并禁用不符合控制参数的断言属性；S4、通过使能状态的断言属性执行断言验证，判断仿真变量在仿真过程中执行的动作是否与控制变量相符合；S5、获取断言验证结果。本发明在构造断言属性过程中，无需人工对所有断言属性逐一进行构造，节约人力保证研发
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 114091388 A
(43)申请公布日 2022.02.25
(21)申请号 202111459676.3
(22)申请日 2021.12.01
(71)申请人 广东工业大学
地址
您可能关注的文档
- 基于微内核的测试系统和测试方法.pdf
- 一种基于脑电波信号采集的身份信息安全认证方法.pdf
- 一种基于深度学习的肺癌辅助诊疗系统及方法.pdf
- 一种电机转子装配精度检测装置.pdf
- 一种防爆LED泛光灯.pdf
- 一种白油板生产方法.pdf
- 基于业务流的分布式地震会商系统及方法.pdf
- 一种基于高活性骨架镍合成对氟苯胺的方法.pdf
- 芯片管理方法、装置、芯片、处理器及设备.pdf
- 一种改进随机森林相似性度量的患病风险预测方法.pdf
- GB 16413-2026煤矿用非金属制品安全技术要求.pdf
- GB/T 17498.10-2026室内固定式健身器材 第10部分：带有固定轮或无飞轮的健身车 附加的特殊安全要求和试验方法.pdf
- GB/T 17498.7-2026室内固定式健身器材 第7部分：划船器 附加的特殊安全要求和试验方法.pdf
- 《GB/T 17498.9-2026室内固定式健身器材第 9部分：椭圆训练机 附加的特殊安全要求和试验方法》.pdf
- 《GB/T 47339-2026小型无刷直流风机通用技术条件》.pdf
- GB/T 47339-2026小型无刷直流风机通用技术条件.pdf
- 中国国家标准 GB/T 47339-2026小型无刷直流风机通用技术条件.pdf
- 《GB/Z 36271.3-2026交流1 kV及直流1.5 kV以上电力设施 第3部分：高压设施的设计和安装原则 高压设施的安全》.pdf
- 中国国家标准 GB/Z 36271.3-2026交流1 kV及直流1.5 kV以上电力设施 第3部分：高压设施的设计和安装原则 高压设施的安全.pdf
- GB/Z 36271.3-2026交流1 kV及直流1.5 kV以上电力设施 第3部分：高压设施的设计和安装原则 高压设施的安全.pdf
文档评论（0）