微软技术许可有限责任公司A·特尔扎基安获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉微软技术许可有限责任公司申请的专利用于客观分支验证的可执行代码分支注释获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113906394B 。
龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202080038739.5，技术领域涉及：G06F11/32；该发明授权用于客观分支验证的可执行代码分支注释是由A·特尔扎基安;R·古鲁拉杰;S·利亚申科设计研发完成，并于2020-04-16向国家知识产权局提交的专利申请。
本用于客观分支验证的可执行代码分支注释在说明书摘要公布了：一种用于客观代码分支验证的方法执行代码分支注释以评估针对每一代码分支的开发者指定的通过条件，该开发者指定的通过条件指示该代码分支是否正在如代码作者原本期望地那样运行。该方法包括在代码主体的执行期间与在该代码主体内定义的多个经注释代码分支中的每一者相关联地维护并动态更新计数器值和通过指示符状态。针对每一经注释代码分支的计数器值表示该经注释代码分支在当前运行时环境内已经执行的次数，并且通过指示符状态指示满足或不满足在该代码分支内标识的通过条件，满足或不满足是基于相关联的代码分支的计数器值来确定的。
本发明授权用于客观分支验证的可执行代码分支注释在权利要求书中公布了：1.一种用于客观代码分支验证的系统，包括： 存储在存储器中的代码分支跟踪模块，其执行以下操作： 在代码主体的执行期间与在所述代码主体内定义的多个代码分支中的每一者相关联地维护计数器值，针对所述代码分支中的每一者的所述计数器值表示所述代码分支在当前运行时环境内已经执行的次数；以及 响应于所述代码分支中包括的注释的执行在所述代码主体的执行期间针对所述代码分支中的每一者动态更新并维护通过指示符状态，所述通过指示符状态指示满足或不满足在所述代码分支内标识的通过条件，所述满足或不满足是基于针对所述代码分支的相关联的计数器值的，每一个所述代码分支内的所述注释标识： 通过评价宏；以及 作为输入提供给所述代码分支的所述通过评价宏的所述代码分支的阈值，其中开发者能够为所述多个代码分支中的每一个指定阈值，所述通过评价宏在所述代码分支执行时被执行以基于所述阈值和所述计数器值之间的比较来评价所述通过条件。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人微软技术许可有限责任公司，其通讯地址为：美国华盛顿州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号