产品体验中心 下载与支持 产品社区 合作代理 |  咨询电话:400-035-7887/021-6072 5088
当前位置:泽众软件测试网- 技术文章 -正文

静态分析的几种基本方法

发布时间:2021-11-23

静态分析的几种基本方法:
 
抽象解析
将程序映射成更加抽象的域,试分析更加具有可跟中兴并具有检验代码的作用;抽象解析通过计算能够直接得出分析结果,而不是像其他
类型的方法使用验证的方式进行分析;ASTREE是抽象分析的静态检查器。
 
数据流分析
将数据看作是图,节点是程序的基本快,边是描述控制如何从一个基本快转移掉另一个基本快。
 
基于约束的分析
从程序问文本中产生一系列的本地约束,通过解释这些约束来验证所有的属性。
 
类型与结果分析
是结果系统和注释的类型系统的混合。结果系统表达一个语句的执行有什么结果;注释的类型系统提供结果系统的予以。
 
推荐阅读:
 
 
本文内容不用于商业目的,如涉及知识产权问题,请权利人联系SPASVO小编(021-60725088-8054),我们将立即处理,马上删除。
沪ICP备07036474号 2003-2023 版权所有 上海泽众软件科技有限公司 Shanghai ZeZhong Software Co.,Ltd.
微信
咨询

添加客服微信 欢迎咨询测试工具和测试服务

微信客服
问题
反馈
产品
画册

扫描二维码下载泽众软件企业宣传册

产品画册
返回
顶部

方案咨询

×
提交信息

电话咨询,400-035-7887,安排专业技术售前给您解答(产品试用、技术交流、服务咨询和商务报价)。

您的信息已成功提交!

我们的客服人员稍后会与您联系