软件验证方法、装置、计算机设备和存储介质
基本信息
| 申请号 | CN201910480992.5 | 申请日 | - |
| 公开（公告）号 | CN110347588A | 公开（公告）日 | 2019-10-18 |
| 申请公布号 | CN110347588A | 申请公布日 | 2019-10-18 |
| 分类号 | G06F11/36 | 分类 | 计算；推算；计数; |
| 发明人 | 张强;周博 | 申请（专利权）人 | 北京谦川科技有限公司 |
| 代理机构 | 北京华进京联知识产权代理有限公司 | 代理人 | 黄易 |
| 地址 | 100089 北京市海淀区海淀西大街36号地下一层303号 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本申请涉及一种软件验证方法、装置、计算机设备和存储介质。所述方法包括：获取规约，其中，所述规约包括状态机规约和声明规约，所述状态机规约和所述声明规约按照预先定义的书写规则书写；将所述状态机规约转换为实现代码；通过验证器验证转换后的所述实现代码是否满足所述状态机规约的要求；通过验证器验证所述状态机规约是否满足所述声明规约的要求；若转换后的所述实现代码满足所述状态机规约的要求，且所述状态机规约满足所述声明规约的要求，则通过验证。采用本方法能够快速进行软件验证，提高软件验证效率，同时实现验证通用性。 |
