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

龙图腾网恭喜中控技术股份有限公司申请的专利验证数据的获取方法、装置、设备及可读存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114077545B 。

龙图腾网通过国家知识产权局官网在2025-03-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111370228.6，技术领域涉及：G06F11/3604；该发明授权验证数据的获取方法、装置、设备及可读存储介质是由谭虹;沈孟龙;顾靖;周萧设计研发完成，并于2021-11-18向国家知识产权局提交的专利申请。

本验证数据的获取方法、装置、设备及可读存储介质在说明书摘要公布了：本申请实施例提供了一种验证数据的获取方法、装置、设备及可读存储介质，获取和数据源信息，获取待测试表达式的可读表达式，以可读表达式和数据源信息为脚本参数，调用第一预设脚本，得到待测试表达式的验证数据，其中，验证数据包括目标结果以及与目标结果对应的解集，目标结果包括可读表达式成立和或不成立。由于，待测试表达式待测变量和待测固定量，数据源信息包括待测变量和变量类型的对应关系，且变量类型指示取值范围，第一预设脚本用于获取以目标结果为条件各个待测变量的取值，作为目标结果对应的解集，因此，本方法能够通过将待测试表达式转换成可读表达式，并利用第一预设脚本自动获取待测试表达式的验证数据。

本发明授权验证数据的获取方法、装置、设备及可读存储介质在权利要求书中公布了：1.一种验证数据的获取方法，其特征在于，包括：获取待测试数据，所述待测试数据包括待测试表达式和数据源信息，所述待测试表达式包括待测变量和待测固定量；所述数据源信息包括待测变量和变量类型的对应关系，所述待测变量的变量类型指示所述待测变量的取值范围；将所述待测试表达式转换成可读表达式；以所述可读表达式和所述数据源信息为脚本参数，调用第一预设脚本，得到所述待测试表达式的验证数据；所述验证数据包括目标结果以及与所述目标结果对应的解集，所述第一预设脚本用于获取以所述目标结果为条件，各个所述待测变量的取值，作为所述目标结果对应的解集，所述目标结果包括所述可读表达式成立和或不成立；其中，所述待测试表达式的验证数据具体包括：待测试表达式成立对应的第一解集，待测试表达式不成立对应的第二解集；所述第一预设脚本用于获取第一解集和第二解集的方法包括：以待测试表达式成立为条件，依据每一待测变量的序位对应的变量类型，获取每一待测变量的取值，得到待测试表达式的真解集，并从真解集中，随机获取第一解集并输出，以待测试表达式不成立为条件，依据每一待测变量的序位对应的变量类型，获取每一待测变量的取值，得到待测试表达式的假解集，并从假解集中，随机获取第二解集并输出。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中控技术股份有限公司，其通讯地址为：310053 浙江省杭州市滨江区六和路309号(高新区)；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。