一种模型检测方法、装置及存储介质
授权
摘要
本发明提供一种模型检测方法，包括获取可重构系统的属性，确定所述属性之间的关系，基于所述属性之间的关系，执行所述可重构系统的模型检测。本发明实施例提供的模型检测方法，在模型检测之前，对属性进行预处理，与已有方法相比，在验证前对属性集进行分析，提取属性间的关系，从而最小化要验证的属性的数量，并且最小化了属性的验证时间。
基本信息
专利标题 ：
一种模型检测方法、装置及存储介质
专利标题（英）：
暂无
公开（公告）号 ：
CN109508288A
申请号 ：
CN201811230399.7
公开（公告）日 ：
2019-03-22
申请日 ：
2018-10-22
授权号 ：
CN109508288B
授权日 ：
2022-04-01
发明人 ：
穆罕默德·卡拉杰穆罕默德·拉姆丹尼里德·卡拉洛李志武屈挺
申请人 ：
暨南大学
申请人地址 ：
广东省广州市天河区黄埔大道西601号
代理机构 ：
广州市华学知识产权代理有限公司
代理人 ：
陈燕娴
优先权 ：
CN201811230399.7
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-04-01 ：
授权
2019-04-16 ：
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20181022
申请日 : 20181022
2019-03-22 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
