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

龙图腾网获悉北京一仿科技有限公司申请的专利一种多值耦合逻辑中给定条件的覆盖性测试用例生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN112052176B 。

龙图腾网通过国家知识产权局官网在2024-07-19发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202010962370.9，技术领域涉及：G06F11/36；该发明授权一种多值耦合逻辑中给定条件的覆盖性测试用例生成方法是由董西路设计研发完成，并于2020-09-14向国家知识产权局提交的专利申请。

本一种多值耦合逻辑中给定条件的覆盖性测试用例生成方法在说明书摘要公布了：本发明公开了一种多值耦合逻辑中给定条件的覆盖性测试用例生成方法，可应用于软件黑盒测试、设备测试、系统测试等。该方法能够获得使给定信号能够独立决定表达式结果的其他信号赋值，能够判定给定信号是否能够独立决定表达式结果，也能够获得该信号独立决定表达式结果的值域范围，从而在值域范围的基础上，进行边界测试或其他类型的取值测试。

本发明授权一种多值耦合逻辑中给定条件的覆盖性测试用例生成方法在权利要求书中公布了：1.一种多值耦合逻辑中给定条件的覆盖性测试用例生成方法，其特征在于，包括：从需求定义文件中读取被测对象的输入输出关系，并通过解析，提取输入输出关系中的所有基本条件、以及逻辑关系；所述基本条件是被测对象输入信号的函数，且同一基本条件出现的次数为1次或多次；以基本条件为叶节点、以逻辑关系作为分支节点或者根节点，构建逻辑语法树来图形化表示被测对象的输入输出关系；以给定的基本条件作为独立条件，对其他叶节点进行赋值，获得使给定的基本条件能够独立决定输入输出关系结果的信号赋值，并判定给定基本条件是否能够独立决定输出结果，之后获得给定基本条件期望输出值为True1与False0时，其对应输入信号独立决定输入输出关系结果的值域范围，从而在值域范围的基础上，进行边界测试或区间内测试；其中，期望输出值为True1表示状态为真，期望输出值为False0表示状态为假；将给定的基本条件记为叶节点l，从用例赋值集合中提取叶节点l中输入信号sj的值域，记为R，1≤j≤p，p是输入输出关系中输入信号的总数；令叶节点l的期望输出值为True1，则根据给定的基本条件中的关系运算r，获得值域RT，有rRT＝True；则叶节点l望输出值为True1，且能独立决定逻辑关系结果的取值值域令叶节点l的期望输出值为False0，则根据关系运算r，获得值域RF，有rRF＝False；则叶节点l望输出值为False0，且能独立决定逻辑关系结果的取值值域仅当不为空集且不为空集，则有叶节点l能够独立决定逻辑结果；所述以给定的基本条件作为独立条件，对其他叶节点进行赋值，包括：步骤a1：进行同父条件的赋值，所述同父条件是指与独立条件具有相同父节点的条件，根据父节点的逻辑关系类型，为同父条件赋予期望输出值；所述同父条件的类型包括：基本条件与判定；步骤a2：根据同父条件的类型以及赋予的期望输出值，对同父条件进行逐一处理；如果同父条件的类型为基本条件，则根据赋予的期望输出值更新基本条件中输入信号的值域；如果同父条件的类型为判定，则根据赋予的期望输出值，对判定的条件进行赋值；步骤a3：判断父节点是否为根节点，若是，则结束；否则，以父节点为独立条件，重复执行步骤a1～步骤a3，直至到达根节点；基本条件的赋值问题表示为：s1＝fs0,d,r,V其中，s0为信号s的初始值域；d为基本条件是否为上级判定的决定条件；r为关系运算符；V为基本条件的给定输出值，也即赋予的期望输出值；s1为信号s的赋值结果，也即更新后的值域；当基本条件为上级判定的非决定条件时，s1＝s0；当基本条件为上级判定的决定条件时，获得s*，使其满足V＝rs*；然后，取s1＝s0∩s*。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京一仿科技有限公司，其通讯地址为：100083 北京市海淀区中关村东路18号1号楼B-1709-038号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。