泽众软件
首页 关于我们 下载与支持 咨询电话:400-035-7887/021-6072 5088
当前位置:泽众软件测试网-产品新闻-正文

静态分析的几种基本方法

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

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

微信客服
问题
反馈
返回
顶部

方案咨询

×
提交信息

我们会在24小时内,给您电话回复!或者直接电话咨询,400-035-7887,给您专业的解答。

您的信息已成功提交!

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