技术特征:
技术总结
本申请涉及一种软件验证方法、装置、计算机设备和存储介质。所述方法包括:获取规约,其中,所述规约包括状态机规约和声明规约,所述状态机规约和所述声明规约按照预先定义的书写规则书写;将所述状态机规约转换为实现代码;通过验证器验证转换后的所述实现代码是否满足所述状态机规约的要求;通过验证器验证所述状态机规约是否满足所述声明规约的要求;若转换后的所述实现代码满足所述状态机规约的要求,且所述状态机规约满足所述声明规约的要求,则通过验证。采用本方法能够快速进行软件验证,提高软件验证效率,同时实现验证通用性。
技术研发人员:张强;周博
受保护的技术使用者:北京谦川科技有限公司
技术研发日:2019.06.04
技术公布日:2019.10.18