买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜南京大学申请的专利一种基于蜕变关系匹配的组合测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113934631B 。

龙图腾网通过国家知识产权局官网在2025-04-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111198197.0，技术领域涉及：G06F11/3668；该发明授权一种基于蜕变关系匹配的组合测试方法是由孙颜洁;钮鑫涛设计研发完成，并于2021-10-14向国家知识产权局提交的专利申请。

本一种基于蜕变关系匹配的组合测试方法在说明书摘要公布了：本发明提供了一种基于蜕变关系匹配的组合测试方法，本方法首先将蜕变关系转换为对组合测试模型的约束，然后生成一组既满足组合覆盖率又包含尽可能多匹配蜕变关系测试用例对的测试用例集；与传统组合测试不同的是，本方法通过验证匹配蜕变关系的测试用例对的输出是否违背蜕变关系的输出关系去自动确定待测软件的正确性，而不是通过建立每个测试用例输入与预期输出之间的精确映射去判断待测软件的正确性。

本发明授权一种基于蜕变关系匹配的组合测试方法在权利要求书中公布了：1.一种基于蜕变关系匹配的组合测试方法，其特征在于，包括如下步骤：步骤1，输入抽象参数模型和蜕变关系，将蜕变关系转化为对模型的约束；步骤2，生成抽象测试用例集；步骤3，生成具体测试用例集；步骤4，使用测试用例执行待测软件，并使用脚本自动检测程序是否出现故障；步骤1包括如下步骤：步骤1-1，构建待测软件的组合测试抽象参数模型，包括参数、每个参数的值域以及约束，并确定待测软件的蜕变关系、蜕变关系的输入规则和输出规则；步骤1-1包括：设定待测软件有n个参数，第i个参数pi的有限值域为Vi，其中1≤i≤n；对于每一个参数pi，从集合Vi中取抽象值vi分配给参数pi，组成组合测试的一条抽象测试用例，即{p1,v1,p2,v2,...,pn,vn}，其中抽象值vi可能对应一个实际值，或者对应一个等价类；对于抽象测试用例中的每一个抽象值vi，将其转换为具有真实含义的具体值ci，由ci组成组合测试的一条具体测试用例，即{p1,c1,p2,c2,...,pn,cn}；步骤1-1包括：将蜕变关系转换为对组合测试模型的约束，包括两种情况：第一种情况，蜕变关系能够被抽象测试用例所满足，即如果两条抽象测试用例满足蜕变关系，则所述两条抽象测试用例对应的具体测试用例也一定满足蜕变关系，此时，只需要在抽象测试用例生成阶段考虑蜕变关系；设定源抽象测试用例为{p1,vs1,p2,vs2,...,pn,vsn}，pi表示第i个抽象参数，vsi表示第i个参数pi的抽象值，其中1≤i≤n；后续抽象测试用例为{p1,vf1,p2,vf2,...,pn,vfn}，vfi表示第i个参数pi的抽象值；蜕变关系的输入关系rin用以下公式表示：rinvs1,vs2,...,vsn,vf1,vf2,...,vfn＝true上述式子表示两条抽象测试用例的值满足输入关系rin对抽象测试用例对的约束，true表示真值；第二种情况，蜕变关系只能通过具体测试用例满足，则仅生成相应的抽象测试用例是不够的，此时需要在抽象测试用例生成阶段和具体测试用例生成阶段都考虑蜕变关系，设定源抽象测试用例为{p1,vs1,p2,vs2,...,pn,vsn},对应的源具体测试用例为{p1,cs1,p2,cs2,...,pn,csn},csi表示源具体测试用例第i个参数对应具体值，其中1≤i≤n；后续抽象测试用例为{p1,vf1,p2,vf2,...,pn,vfn}，对应的后续具体测试用例为{p1,cf1,p2,cf2,...,pn,cfn}，cfi表示后续具体测试用例第i个参数对应具体值，其中1≤i≤n；蜕变关系的输入关系rin用以下公式表示：rinvs1,vs2,...,vsn,vf1,vf2,...,vfn＝truerincs1,cs2,...,csn,cf1,cf2,...,cfn＝true上述式子表示两条抽象测试用例的值满足输入关系rin对抽象测试用例对的约束，两条具体测试用例的值满足输入关系rin对具体测试用例对的约束；测试用例生成阶段不考虑蜕变关系的输出关系，只有在判断程序是否存在故障时考虑蜕变关系的输出关系，设定源测试用例输出为outputs，后续测试用例输出为outputf，则蜕变关系的输出关系rout用以下公式表示：routoutputs,outputf＝true如果满足蜕变关系输入关系的测试用例对不满足蜕变关系的输出关系，就判定程序出现了故障。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京大学，其通讯地址为：210023 江苏省南京市栖霞区仙林大道163号南京大学；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。