发明专利 已授权

一种覆盖引导的智能合约测试用例生成方法

📄 申请号:CN202111311599.7 📄 发布日:2026/10/27

著录项目信息

申请日
2021-11-08
公开号
CN113971135B
公开日
2024-12-06
申请人
西安邮电大学
法律状态
已下证
专利类型
发明
主分类号
IPC 分类号

技术画像

应用场景

区块链, 智能合约安全, 软件质量保障, 智能合约开发, 自动化测试

摘要

本发明属于软件测试技术领域,具体涉及智能合约漏洞检测问题,提供了一种覆盖引导的智能合约测试用例生成方法。本方法采用智能合约漏洞静态检测工具对智能合约进行静态分析,并保存漏洞检测信息,利用该检测信息指导测试用例的适应度计算,生成覆盖更多漏洞语句的测试用例,使得测试在具有方向性同时,进一步提高漏洞检测的效率。本发明提供了一种误报率和漏报率低的智能合约漏洞自动化检测方法。

常见问题

这项专利是否已经下证?

是的,该专利已下证,法律状态为“已下证”,公开号: CN113971135B

购买这项专利需要经过哪些流程?

平台提供担保交易、全程代办转让手续。买家可委托平台代购,平台协助完成权属尽调、合同签署、国家知识产权局著录项目变更等流程。

该专利的转让价格是多少?

当前标价为议价,可委托平台代购或预约谈判。

权利要求书 (12项) 说明书 附图

……

……

图1
图2
图3

法律状态时间线

议价
不含过户费

📋 交易方式: 委托待转让 📌 交易状态: 在售 👁️ 浏览次数:8 ❤️ 收藏人数:93 📋 项目申报: 未申报

资金托管 权属尽调 包过户
🏢 淄博智来知识产权服务有限公司
✓ 企业认证✓ 手机绑定历史成交 2657件好评率 98.5%

📊 出价记录 (3条)
王**¥-10万
李** 企业¥-8万
陈**¥-3万
查看全部出价