发明专利已授权

基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法

Name: 基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法
Brand: 浙江理工大学
SKU: 202010698489X
Availability: InStock

📄 申请号：CN202010698489.X 📄 发布日：2026/07/10

著录项目信息

申请日

2020-07-20

公开号

CN111934948B

公开日

2022-04-12

申请人

浙江理工大学

法律状态

已下证

专利类型

发明

主分类号

H04L43_50

IPC 分类号

H04L43_50

技术画像

所属领域

软件测试软件测试形式化方法人工智能算法

应用场景

软件测试, 嵌入式系统测试, 协议一致性测试, 模型驱动开发, 自动化测试生成

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了一种基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法，将EFSM模型的可执行测试生成问题转换为TEA树中路径的马尔科夫决策过程，该方法借助MCTS算法强大的海量状态空间搜索能力，启发式引导TEA树的扩展方向来搜索目标序列，从而极大地提高了测试生成效率，最终避免了状态爆炸；因此，本发明可以有效减少可执行分析树的扩展节点，加速可执行测试序列的生成。

常见问题

这项专利是否已经下证？

是的，该专利已下证，法律状态为“已下证”，公开号： CN111934948B

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

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

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

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

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

……

图1

图2

图3

法律状态时间线

20220412

✅ 授权

20201201

?? 实质审查的生效：

20201113

📄 公开

一种双功能三相转移催化剂的制备与应用

当前第 / 件

无机钙钛矿/聚合物复合纳米纤维膜及其制备方法和应用

同领域国内专利 · IPC: (H04L43_50)

H04L43_00 H04L43_02 H04L43_024 H04L43_026 H04L43_04 H04L43_045 H04L43_06 H04L43_08 H04L43_0805 H04L43_0811 H04L43_0817 H04L43_0823 H04L43_0829 H04L43_0864 H04L43_0876 H04L43_10 H04L43_12 H04L43_16 H04L43_18 H04L43_50 H04L43_55 覆盖21个领域

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐

议价

不含过户费

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

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 2657件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)