[发明专利]一种验证模型的方法及装置在审
| 申请号： | 201610207059.7 | 申请日： | 2016-04-05 |
| 公开（公告）号： | CN105787214A | 公开（公告）日： | 2016-07-20 |
| 发明（设计）人： | 王振江;王朝辉;钟俊华 | 申请（专利权）人： | 浪潮电子信息产业股份有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 济南信达专利事务所有限公司 37100 | 代理人： | 李世喆 |
| 地址： | 250100 山东*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种验证模型的方法及装置，该方法包括：首先确定待验证模型中的每一个变量的取值范围，从而获得该待验证模型的多个模型行为；对于每一个模型行为，均将其拆分为多个行为状态，且通过设置每一个行为状态的触发条件，以确定该多个行为状态的状态跳变顺序，从而根据该状态跳变顺序依次验证这多个行为状态，并最终完成对该模型的多个模型行为的验证操作。通过确定待验证模型的各变量的取值范围，可以锁定相应的多个模型行为进行验证，而非对与该模型相对应的全部模型行为进行全面验证。因此，本方案能够提高设计模型的验证效率。 | ||
| 搜索关键词： | 一种 验证 模型 方法 装置 | ||
【主权项】：
一种验证模型的方法，其特征在于，包括：确定待验证模型中的每一个变量的取值范围；根据所述取值范围，获得所述待验证模型的至少一个模型行为；针对所述至少一个模型行为中的每一个目标模型行为，均执行：将所述目标模型行为拆分为至少一个行为状态；分别设置每一个所述行为状态的触发条件，获得所述至少一个行为状态的状态跳变顺序；根据所述状态跳变顺序，依次验证所述至少一个行为状态中的每一个行为状态。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浪潮电子信息产业股份有限公司，未经浪潮电子信息产业股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610207059.7/，转载请声明来源钻瓜专利网。
