咨询电话：13280638997
传真：0533-3110363
邮箱：kefu@shizifang.com
24小时咨询热线13280638997
24小时咨询热线著 录 项 目：
| 专利/申请号： | CN201410324042.0 | 专利名称： | 一种基于谓词依赖图的EFSM可执行测试序列生成方法 |
| 申请日： | 2014-07-08 | 申请/专利权人 | |
| 专利类型： | 发明 | 地址： | |
| 专利状态： | 已下证 查询审查信息 | 分类号： | G06F11/36分类检索 执行专利转让搜索 |
| 公开/公告日： | 转让价格： | 【平台担保交易】 | |
| 公开/公告号： | 交易状态： | 等待洽谈 搜索相似专利 |
摘 要：本发明公开了一种基于谓词依赖图的EFSM可执行测试序列生成方法，该方法对已有的可执行分析树方法进行了分析和改进，在旧方法基础上加入了引导生成测试序列的思想。本发明通过深度挖掘EFSM模型中变迁之间的依赖关系，通过构造EFSM模型的谓词依赖图可视化的显示模型变迁之间可执行性的相互影响，通过量化变迁的可执行预测值来引导可执行分析树的搜索过程，进而引导生成可执行测试序列。故本发明方法能够有效的避免状态爆炸的问题，且在测试序列生成的稳定性上面有较大提高。
| 交易方 | 企业 | 个人 |
| 买家 | 营业执照副本复印件（需盖公章） | 身份证复印件（签字） |
| 专利转让委托书（需盖公章）一式两份 | 专利转让委托书（需签字）一式两份 | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 卖家 | 营业执照副本复印件（需盖公章） | 身份证复印件（需申请人签字） |
| 解除代理委托书（需盖公章）一式两份（如专利通过代理机构申请） | 解除代理委托书（需签字）一式两份（如专利通过代理机构申请） | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 专利请求书或手续合格通知书、授权通知书复印件 | 专利请求书或手续合格通知书、专利授权通知书复印件 | |
| 专利证原件（若授权下证） | 专利证原件（若授权下证） |
| 日期 | 法律信息 | 备注 |
| 2016/08/17 | 授权 | |
| 2014/10/29 | 实质审查的生效 | IPC(主分类): G06F 11/36 专利申请号: 201410324042.0 申请日: 2014.07.08 |
| 2014/10/01 | 公开 |
| 申请号 | 专利名称 | 发布日期 |
| 2019102615319 | 【发明】一种面向代价感知的实时缺陷预测模型增强框架 | 2025/07/15 |
| 2024112145880 | 【发明】一种基于数据分析的网络信息设备运维管理系统 | 2025/07/14 |
| 2024112796561 | 【发明】一种基于动态反馈机制的云计算环境中数据质量监控方法 | 2025/07/09 |
| 2019111331763 | 【发明】信息显示方法、装置及设备、存储介质 | 2025/07/09 |
| 201911102477X | 【发明】一种日志采集方法、装置、电子设备及存储介质 | 2025/07/04 |
| 2022102571628 | 【发明】一种在启动进程中检测BIOS程序内语句故障的方法 | 2025/08/13 |
| 2019111487470 | 【发明】一种数据处理方法及电子设备 | 2025/07/01 |
| 2019111674602 | 【发明】一种业务检测方法及装置 | 2025/06/30 |
| 2021113829592 | 【发明】一种基于聚类分析和决策树算法的软件缺陷预测方法 | 2025/06/27 |
| 202111374680X | 【发明】一种软件可靠性模型参数估计方法 | 2025/06/27 |
