“一种基于mRMR算法挑选可疑度公式的程序错误定位方法”等2项专利权拟实施许可，现将相关信息予以公示，公示期自2024年8月7日至2024年8月22日。
专利一：
一、成果名称：一种基于mRMR算法挑选可疑度公式的程序错误定位方法（专利号：CN202110195612.0）
二、内容摘要：
本发明公开了一种基于mRMR算法挑选可疑度公式的程序错误定位方法，其对已有的软件程序错误定位方法进行了分析和改进，在原来的方法基础上使用基因编程生成可疑度计算公式并引入mRMR算法进行挑选。新方法考虑公式之间相关性而引入mRMR算法进行筛选，使用所选公式计算软件程序语句的可疑度分数，将其作为特征输入机器学习算法中进行模型训练，最后利用所构建的错误定位模型进行有效错误定位。本发明能够高效并准确地对软件程序中的错误语句进行定位；实验结果表明，大多数情况下，本发明方法比经典错误定位技术更有效，在整体错误定位效果上具有明显优势。
专利二：
一、成果名称：基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法（专利号：CN202010698489.X）
二、内容摘要：
本发明公开了一种基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法，将EFSM模型的可执行测试生成问题转换为TEA树中路径的马尔科夫决策过程，该方法借助MCTS算法强大的海量状态空间搜索能力，启发式引导TEA树的扩展方向来搜索目标序列，从而极大地提高了测试生成效率，最终避免了状态爆炸；因此，本发明可以有效减少可执行分析树的扩展节点，加速可执行测试序列的生成。
三、转化方式：普通许可
四、拟交易价格：100000元人民币
五、价格确定方式：协议定价
如有问题，请于公示期内以书面形式反映给产业技术中心。
联系电话：86843059
产业技术中心、华体会体育（中国）HTH·官方网站（杭州）技术转移有限公司
2024年8月7日
今天是：
搜索