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

龙图腾网获悉无锡江南计算技术研究所申请的专利一种基于Csmith随机生成器生成C程序测试用例的方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115687154B 。

龙图腾网通过国家知识产权局官网在2025-09-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211487167.6，技术领域涉及：G06F11/3668；该发明授权一种基于Csmith随机生成器生成C程序测试用例的方法及装置是由王丽一;武颖颖;胡夏晖;尉红梅;姜军;吴伟设计研发完成，并于2022-11-25向国家知识产权局提交的专利申请。

本一种基于Csmith随机生成器生成C程序测试用例的方法及装置在说明书摘要公布了：本发明提供一种基于Csmith随机生成器生成C程序测试用例的方法及装置，属于C程序测试技术领域。该方法包括如下步骤：S1：获取预设概率信息表，通过预设概率信息表获取预设参数；S2：生成器根据预设参数进行初始化；S3：生成器基于初始化信息生成包括main函数、变量类型、其他函数的测试用例程序，在生成main函数时输出测试用例程序的辅助信息；S4：过滤器对生成的程序片段进行安全检查；S5：生成器在过滤器对所有程序片段检查完毕后整理并输出生成的测试用例程序，并根据生成的测试用例程序计算非指针全局变量的校验和，并打印校验和。本发明自动生成大量测试用例，可以高效地暴露更多的问题，并且可根据输入进行定制化操作，节省人力成本。

本发明授权一种基于Csmith随机生成器生成C程序测试用例的方法及装置在权利要求书中公布了：1.一种基于Csmith随机生成器生成C程序测试用例的方法，其特征在于，包括如下步骤： S1：获取预设概率信息表，通过预设概率信息表获取预设参数； S2：生成器根据预设参数进行初始化； S3：生成器基于初始化信息生成包括main函数、变量类型、其他函数的测试用例程序，在生成main函数时输出测试用例程序的辅助信息； S4：过滤器对生成的程序片段进行安全检查； S5：生成器在过滤器对所有程序片段检查完毕后整理并输出生成的测试用例程序，并根据生成的测试用例程序计算非指针全局变量的校验和，并打印校验和； 步骤S1中具体包括： S11：获取概率信息表的所有属性值； S12：根据历史数据对能高效生成测试用例的属性值进行标记； S13：对标记的属性值进行聚类分析获取预设概率信息表； S14：判断是否接收到输入的用户参数，如果判断未接收到用户参数，则将预设概率信息表中的属性值作为预设参数，如果判断接收到用户参数，则通过预设概率信息表对用户参数进行比对； S15：如果用户参数中包括预设概率信息表中的所有属性值，则将用户参数作为预设参数，如果用户参数不包括预设概率信息表中的所有属性值，则输出输入参数错误。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人无锡江南计算技术研究所，其通讯地址为：214100 江苏省无锡市滨湖区山水东路188号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。