[发明专利]软件验证方法、装置、计算机设备和存储介质在审
| 申请号： | 201910480992.5 | 申请日： | 2019-06-04 |
| 公开（公告）号： | CN110347588A | 公开（公告）日： | 2019-10-18 |
| 发明（设计）人： | 张强;周博 | 申请（专利权）人： | 北京谦川科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京华进京联知识产权代理有限公司 11606 | 代理人： | 黄易 |
| 地址： | 100089 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请涉及一种软件验证方法、装置、计算机设备和存储介质。所述方法包括：获取规约，其中，所述规约包括状态机规约和声明规约，所述状态机规约和所述声明规约按照预先定义的书写规则书写；将所述状态机规约转换为实现代码；通过验证器验证转换后的所述实现代码是否满足所述状态机规约的要求；通过验证器验证所述状态机规约是否满足所述声明规约的要求；若转换后的所述实现代码满足所述状态机规约的要求，且所述状态机规约满足所述声明规约的要求，则通过验证。采用本方法能够快速进行软件验证，提高软件验证效率，同时实现验证通用性。 | ||
| 搜索关键词： | 规约 状态机 软件验证 验证 计算机设备 存储介质 验证器 声明 规约转换 书写规则 预先定义 转换 书写 申请 | ||
【主权项】：
1.一种软件验证方法，其特征在于，所述方法包括：获取规约，其中，所述规约包括状态机规约和声明规约，所述状态机规约和所述声明规约按照预先定义的书写规则书写；将所述状态机规约转换为实现代码；通过验证器验证转换后的所述实现代码是否满足所述状态机规约的要求；通过验证器验证所述状态机规约是否满足所述声明规约的要求；若转换后的所述实现代码满足所述状态机规约的要求，且所述状态机规约满足所述声明规约的要求，则通过验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京谦川科技有限公司，未经北京谦川科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910480992.5/，转载请声明来源钻瓜专利网。
