西安简矽技术有限公司杨朔获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉西安简矽技术有限公司申请的专利一种测试用例生成方法和装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121277841B 。
龙图腾网通过国家知识产权局官网在2026-03-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511854566.5，技术领域涉及：G06F11/3668；该发明授权一种测试用例生成方法和装置是由杨朔;张媛设计研发完成，并于2025-12-10向国家知识产权局提交的专利申请。
本一种测试用例生成方法和装置在说明书摘要公布了：本公开提供了一种测试用例生成方法和装置，属于计算机软件测试与验证技术领域，该测试用例生成方法包括：将待测软件代码中的控制流和数据依赖关系转换为逻辑等价模型；确定激活逻辑等价模型中当前故障站点对应的故障效应值且将故障效应值传播至观测点的至少一个输入条件；基于至少一个输入条件，生成当前故障站点对应的测试用例。能够生成针对软件代码中的空指针解引用缺陷进行确定性检测的测试用例。
本发明授权一种测试用例生成方法和装置在权利要求书中公布了：1.一种测试用例生成方法，其特征在于，所述测试用例生成方法包括： 将待测软件代码中的控制流和数据依赖关系转换为逻辑等价模型，所述逻辑等价模型为软件门级网表； 确定激活所述逻辑等价模型中当前故障站点对应的故障效应值且将所述故障效应值传播至观测点的至少一个输入条件； 基于所述至少一个输入条件，生成所述当前故障站点对应的测试用例； 所述将待测软件代码中的控制流和数据依赖关系转换为逻辑等价模型，包括： 将所述待测软件代码中的条件判断语句映射为所述软件门级网表中的逻辑节点； 将所述待测软件代码中的指针变量映射为连接所述逻辑节点的信号线，所述信号线的状态包括：表示指针非空的逻辑值、表示指针为空的逻辑值以及表示预期为非空但实际为空的故障效应值； 基于所述数据依赖关系确定所述信号线与逻辑节点之间的拓扑连接。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安简矽技术有限公司，其通讯地址为：710000 陕西省西安市高新区天谷八路156号软件新城研发基地二期A9幢202室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励