[发明专利]一种Java自动形式化建模检测验证方法及系统在审
| 申请号： | 202011096439.0 | 申请日： | 2020-10-14 |
| 公开（公告）号： | CN112380112A | 公开（公告）日： | 2021-02-19 |
| 发明（设计）人： | 赵永望;陈卓玲;姚历智 | 申请（专利权）人： | 浙江望安科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 绍兴市寅越专利代理事务所(普通合伙) 33285 | 代理人： | 焦亚如 |
| 地址： | 312000 浙江省绍兴市*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种Java自动形式化建模检测验证方法及系统，属于互联网安全技术领域，包括：向Java自动形式化建模器导入软件需求文档和Java源码；Java自动形式化建模器根据软件需求文档和Java源代码生成并输出验证代码；将验证代码导入Java验证代码证明器，测试验证代码正确性并输出测试结果；将测试结果导入Java验证结果分析器，根据测试结果在模型库中匹配建议方案；将测试结果的详细信息进行界面化展示。本发明解决了使用Java代码编写的软件系统的形式化验证问题，更好的找到软件系统中的bug，实现快速查找bug位置进行修改，提升工作效率的同时构造更加安全可信的软件。 | ||
| 搜索关键词： | 一种 java 自动 形式化 建模 检测 验证 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浙江望安科技有限公司，未经浙江望安科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011096439.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种玻璃幕墙用液封式真空玻璃
- 下一篇：带有辅助转向装置的钻孔设备
