柿子坊
· 知识产权运营
首页
专利交易
价值评估
13280638997
登录
注册
首页
>
专利交易
>
专利详情
发明专利
已授权
一种基于EFSM模型的最小成本测试用例生成方法
📄 申请号：CN201811038172.2
📄 发布日：2026/07/23
著录项目信息
申请日
2018-09-06
公开号
CN109582558B
公开日
2021-07-13
申请人
杭州电子科技大学
法律状态
已下证
专利类型
发明
主分类号
G06F11_36
IPC 分类号
G06F11_36
技术画像
所属领域
软件测试
软件测试
模型驱动测试
测试用例生成
应用场景
软件质量保障, 嵌入式系统测试, 通信协议测试, 自动化测试
AI 智能推荐
·
同申请人专利
·
搜索相似专利
摘要
本发明涉及一种基于EFSM模型的最小成本测试用例生成方法。本发明基于扩展性有限状态机和集合划分的理论，设计了迁移覆盖算法，得到了迁移序列集合；并对两条迁移序列不同位置给出抽象模型，根据抽象模型进行分析，然后设计了约简合并算法，得到了最小测试序列集。再由最小测试序列集进行转换，得到有效测试路径集合，在转换的过程中采用逆向思维找出初始状态到某一状态的最短路径；本发明满足迁移覆盖准则，能规避无效测试路径和组合爆炸问题，能保证代码的覆盖率，且集合中测试路径个数达到最小，保证了测试成本和测试效率的平衡；不仅仅局限于EFSM模型，对于其它可抽象成有向图的模型同样适用，且对解决大型复杂网络图效果尤其显著。
权利要求书 (12项)
说明书
附图
……
……
图1
图2
图3
法律状态时间线
一种基于级联几何上下文神经网络的双目视差估计方法
当前第 / 件
一种固态硬盘页级闪存转换层设计方法
同领域国内专利 · IPC: (G06F11_36)
G06F11_00
G06F11_07
G06F11_08
G06F11_10
G06F11_14
G06F11_1446
G06F11_20
G06F11_22
G06F11_26
G06F11_263
G06F11_267
G06F11_27
G06F11_273
G06F11_30
G06F11_32
G06F11_34
G06F11_36
G06F11_3604
G06F11_362
G06F11_3668
覆盖
20
个领域
相似专利推荐
AI 驱动 · 同领域
一种基于神经网络的交互机器人智能运动检测与控制方法
¥0.0
201710211360X · 浙江工业大学
一种基于分类计数器的确定有限状态机构造方法
¥0.0
2015103941745 · 重庆邮电大学
一种基于EFSM模型的最小成本测试用例生成方法
¥0.0
2018110381722 · 杭州电子科技大学
议价
不含过户费
委托平台代购
📋 交易方式：
委托待转让
📌 交易状态：
在售
👁️ 浏览次数：41
❤️ 收藏人数：93
📋 项目申报：
未申报
资金托管
权属尽调
包过户
🏢 淄博智来知识产权服务有限公司
✓ 企业认证
✓ 手机绑定
历史成交 0件
好评率 98.5%
📊 出价记录 (3条)
王**
¥-10万
李** 企业
¥-8万
陈**
¥-3万
查看全部出价
我要出价 (议价)
预约谈判
柿子坊 · 知识产权运营
柿子坊 · 知识产权运营
柿子坊知识产权运营平台