龙图腾网&IPTOP
- 微信扫码注册/登录
- 账号密码登录
|
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！ 龙图腾网获悉浙江理工大学申请的专利一种基于谓词依赖图的EFSM可执行测试序列生成方法成功实施成果转化。 龙图腾网通过国家知识产权局官网在2014-10-01发布的专利公告中获悉：该专利的专利申请号/专利号为：2014103240420，技术领域属于G06F11/36(2006.01)I；该专利一种基于谓词依赖图的EFSM可执行测试序列生成方法是由浙江理工大学设计研发完成，并于2014-07-08向国家知识产权局提交的专利申请。 本发明公开了一种基于谓词依赖图的EFSM可执行测试序列生成方法，该方法对已有的可执行分析树方法进行了分析和改进，在旧方法基础上加入了引导生成测试序列的思想。本发明通过深度挖掘EFSM模型中变迁之间的依赖关系，通过构造EFSM模型的谓词依赖图可视化的显示模型变迁之间可执行性的相互影响，通过量化变迁的可执行预测值来引导可执行分析树的搜索过程，进而引导生成可执行测试序列。故本发明方法能够有效的避免状态爆炸的问题，且在测试序列生成的稳定性上面有较大提高。 龙图腾网（www.lotut.com）是知识产权全产业链服务平台，平台围绕知识产权代理、知识产权管理、商标查询、商标转让交易、专利检索、专利转让运营、科技成果转化等，通过“互联网+知识产权”的方式，整合资源与服务，为广大知识产权代理机构、科技咨询公司、律师事务所以及各类科技创新企业、科研院所、大专院校等，提供龙图腾商标专利检索分析平台、龙图腾知识产权管家、龙图腾知识产权交易平台等人工智能大数据云产品服务、知识产权服务、科技成果转移转化服务等。 如需购买、转让、实施、许可或投资类似专利技术，欢迎咨询龙图腾网官方客服，联系电话0551-65771310或微信搜索“龙图腾网”。 以上内容由龙图腾AI智能生成。 |
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励