[发明专利]静态分析器测试方法及装置在审
申请号: | 202310802387.1 | 申请日: | 2023-06-30 |
公开(公告)号: | CN116860626A | 公开(公告)日: | 2023-10-10 |
发明(设计)人: | 狄鹏;何为刚;苏亭;张枨宇;明孟立 | 申请(专利权)人: | 支付宝(杭州)信息技术有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京博思佳知识产权代理有限公司 11415 | 代理人: | 靳玫 |
地址: | 310000 浙江省杭州市*** | 国省代码: | 浙江;33 |
权利要求书: | 暂无信息 | 说明书: | 暂无信息 |
摘要: | 本说明书一个或多个实施例提供一种静态分析器测试方法及装置,涉及计算机技术领域。该方法包括获取待分析程序中条件判断语句的第一判断条件;将第一判断条件转换为第二判断条件,其中,当第一判断条件成立时,第二判断条件成立;将静态分析器的调试函数插入待分析程序,得到包含调试函数的待分析程序,调试函数用于评估第二判断条件的判断结果;基于静态分析器对包含调试函数的待分析程序进行静态分析,得到调试函数返回的评估结果;基于第一判断条件的判断结果验证评估结果,以便完成静态分析器的测试。本说明书提供的方案不依赖于技术人员的专业知识,能够得到较为全面的测试结果。 | ||
搜索关键词: | 静态 分析器 测试 方法 装置 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于支付宝(杭州)信息技术有限公司,未经支付宝(杭州)信息技术有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202310802387.1/,转载请声明来源钻瓜专利网。
- 上一篇:显示模组及显示装置
- 下一篇:一种汽车降噪装置、方法及设备