北京爱芯科技有限公司索健获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京爱芯科技有限公司申请的专利验证策略的确定方法、装置、电子设备及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN113962068B 。
龙图腾网通过国家知识产权局官网在2025-08-08发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202111177298.X,技术领域涉及:G06F30/20;该发明授权验证策略的确定方法、装置、电子设备及存储介质是由索健;王正设计研发完成,并于2021-10-09向国家知识产权局提交的专利申请。
本验证策略的确定方法、装置、电子设备及存储介质在说明书摘要公布了:本申请提供一种验证策略的确定方法、装置、电子设备和存储介质,其中,方法包括:获取候选验证策略,其中,所述候选验证策略中包括模拟待验证代码的每一项待验证特性;基于所述候选验证策略运行所述模拟待验证代码,对所述候选验证策略中的所述每一项待验证特性进行验证,并生成验证覆盖报告;根据所述验证覆盖报告对所述候选验证策略进行反向标记,以获取所述每一项待验证特性的已验证覆盖率;基于所述每一项待验证特性的所述已验证覆盖率,生成目标验证策略。本申请中,将验证覆盖报告反向标记至候选验证策略,使得验证结果更加直观的呈现,有效实现对候选验证策略的优化调整,提高了候选验证策略的调整效率,优化了目标验证策略的质量。
本发明授权验证策略的确定方法、装置、电子设备及存储介质在权利要求书中公布了:1.一种验证策略的确定方法,其特征在于,包括: 获取候选验证策略,其中,所述候选验证策略中包括模拟待验证代码的每一项待验证特性; 基于所述候选验证策略运行所述模拟待验证代码,对所述候选验证策略中的所述每一项待验证特性进行验证,并生成验证覆盖报告; 根据所述验证覆盖报告对所述候选验证策略进行反向标记,以获取所述每一项待验证特性的已验证覆盖率; 基于所述每一项待验证特性的所述已验证覆盖率,生成目标验证策略; 所述根据所述验证覆盖报告对所述候选验证策略进行反向标记,以获取所述每一项待验证特性的已验证覆盖率,包括: 从所述验证覆盖报告中,获取所述每一项待验证特性下已经被验证的性能第一标识信息和对应的已验证性能,其中,通过所述第一标识信息实现对于已经被验证的性能的查找和标记; 从所述候选验证策略中,获取所述每一项待验证特性下全部的待验证性能的第二标识信息; 将所述第一标识信息与第二标识信息匹配,将所述已验证性能反向标记至所述每一项待验证特性下; 获取所述每一项待验证特性下的未验证性能,基于所述已验证性能和所述未验证性能,生成所述每一项待验证特性的所述已验证覆盖率。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京爱芯科技有限公司,其通讯地址为:100190 北京市海淀区中关村大街1号16层1605;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。