一种数值程序蜕变关系的自动识别方法

本发明提出了一种数值程序蜕变关系(Metamorphic Relation，MR)的自动识别方法，包括以下步骤：(1)基于问题域的输入模式分析；(2)基于随机方法的初始测试输入生成；(3)基于基因表达式编程(Gene Expression Programming，GEP)的输出模式挖掘。本发明将蜕变关系的识别分解为输入模式分析和输出模式挖掘两个步骤，降低了蜕变关系识别难度。依据数值程序特点，给出四种输入模式的识别途径，避免随意地构造蜕变关系的问题；运用领域知识建立对验证有意义的输入模式，克服解空间庞大，求解效率低的问题；引入GEP自动搜索输出模式，克服MR识别结果随机性大、有效性低的问题。

《一种数值程序蜕变关系的自动识别方法》是一发明专利，专利号为 202110950800X，当前法律状态为已下证，由南华大学提出申请，发明人为李萌;王丽君;阳小华;闫仕宇;刘杰;万亚平;李丰源;任长安;陈珍平;谢金森;赵鹏程;于涛，申请日期为2021-08-18，公开（公告）日期为2024-03-15，国际专利分类号（IPC）为 G06N 5/01 (2023.01)，高新资质：未报高企，所属技术领域包括：电子信息技术。该专利已下发证书，权利稳定，适合直接办理转让过户，是企业申报高企、项目招投标、质押融资的优质标的。赋翼网提供从选品、尽调、合同签订到官方著录项目变更（过户）的一站式专利转让服务，专业顾问全程协助，确保交易合规、安全、高效。专利摘要：本发明提出了一种数值程序蜕变关系(Metamorphic Relation，MR)的自动识别方法，包括以下步骤：(1)基于问题域的输入模式分析；(2)基于随机方法的初始测试输入生成；(3)基于基因表达式编程(Gene Expression Programming，GEP)的输出模式挖掘。本发明将蜕变关系的识别分解为输入模式分析和输出模式挖掘两个步骤，降低了蜕变关系识别难度。依据数值程序特点，给出四种输入模式的识别途径，避免随意地构造蜕变关系的问题；运用领域知识建立对验证有意义的输入模式，克服解空间庞大，求解效率低的问题；引入GEP自动搜索输出模式，克服MR识别结果随机性大、有效性低的问题。

海量优质专利即买即用，四大核心优势助您弯道超车：
🏆 拿资质，享红利：高企认定、专精特新必备！轻松获取政府补贴、税收减免，招投标直接加分！
💎 增信誉，融资金：支持实缴注册资金，彰显企业硬实力；支持专利质押贷款，盘活现金流，扩张不缺钱！
🔥 强背书，防抄袭：印上“专利产品”，客户更信赖！构建技术壁垒，把竞争对手挡在门外，稳占市场份额！
🚀 省时间，快变现：告别漫长研发与高风险！优质专利即买即用，让技术立刻变成真金白银的利润！