十大正规电竞平台

“一种基于mRMR算法挑选可疑度公式的程序错误定位方法”等2项专利权拟实施许可，现将相关信息予以公示，公示期自十大正规电竞平台年8月7日至十大正规电竞平台年8月22日。

专利一：

一、成果名称：一种基于mRMR算法挑选可疑度公式的程序错误定位方法（专利号：CN202110195612.0）

二、内容摘要：

本发明公开了一种基于mRMR算法挑选可疑度公式的程序错误定位方法，其对已有的软件程序错误定位方法进行了分析和改进，在原来的方法基础上使用基因编程生成可疑度计算公式并引入mRMR算法进行挑选。新方法考虑公式之间相关性而引入mRMR算法进行筛。褂盟」郊扑闳砑程序语句的可疑度分数，将其作为特征输入机器学习算法中进行模型训练，最后利用所构建的错误定位模型进行有效错误定位。本发明能够高效并准确地对软件程序中的错误语句进行定位；实验结果表明，大多数情况下，本发明方法比经典错误定位技术更有效，在整体错误定位效果上具有明显优势。

专利二：

一、成果名称：基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法（专利号：CN202010698489.X）

二、内容摘要：

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

三、转化方式：普通许可

四、拟交易价格：100000元人民币

五、价格确定方式：协议定价

如有问题，请于公示期内以书面形式反映给产业技术中心。

联系电话：86843059

产业技术中心、浙江理工大学（杭州）技术转移有限公司

十大正规电竞平台年8月7日