雨田静态分析系统下载 2.6.3 官方版

雨田静态分析系统是拥有独立知识产权的国产软件，能够对.c/.cpp/java文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、编码规则的违反情况检查等。在对文件进行详尽分析基础上，结合系统特有的质量模型，雨田静态分析系统对被分析的代码进行了综合质量评估，以直观的形式显示编码的质量水平。系统提供了内容丰富的静态分析结果和多角度的质量分析报告，为对编码进行有效评估提供重要的参考，也为解决代码中存在的问题提供明确的线索，进而促进软件质量得到有效地改善与提高。

主要功能

控制流分析
通过对c语言及c++语言的顺序结构、选择结构和循环结构等类型代码块自身及相互关系的详尽分析，从而获取被测文件中每个函数及类方法对应的控制流图。通过对文件中函数间调用关系的分析，系统能够获取文件内函数间的调用关系；通过对文件中类对象的使用情况分析，可以获得文件中的类关系图。

数据流分析
系统对全局变量、类属性、函数参数、局部变量等数据载体进行了其所在的作用域内的
详尽的数据分析，对函数间的调用关系及数据传递也进行了必要的分析，从而能够以静态的视角把握文件中每个变量的数据变化过程，为后续的同数据流相关指标计算及代码质量检查打下了坚实的基础。
基本指标计算
基于对文件中代码进行分析而获取的数据，plsta从代码、注释、数据流、
路径、复杂度、循环、操作符及操作数等多个角度计算出相应的指标。

规则检查
系统以 MISRA编码规则为依据，系统分析了三百余条最常见的编码问题。对于检查出的问题，系统会给出问题发生的位置，原因以及对应的规则，方便用户查证并改进。

综合质量评估
通过对计算出的指标以及查找出的违反编码规则信息的分类、甄别，根据相关信息在代码综合质量中的影响程度，雨田静态分析系统从可读性、可维护性以及可测试性等三个角度对文件整体、类整体、逐函数等不同层级的代码进行了综合质量评定，并给出直观的分类评价报告及综合评价报告，供用户参考。

编码规则的个性化定制
系统对内置的编码规则进行了科学的分类，从而形成编码规则树。用户可以根据被测文件的内容以及本单位的具体要求选用相应的规则。另外，用户也可以在界面上定制相关阀值从而形成完全适用于自己的编码规则。

功能特点

指标丰富
plsta详细计算了代码相关指标、注释信息相关指标、数据流相关指标、复杂度相关指标、循环相关指标、操作符及操作数指标、路径指标等多个方面的指标，为对代码质量进行有效的评价提供坚实的基础。

规则全面
plsta以MISRA为基础，结合众多c/c++/java语言专家的研究成果以及多名资深c/c++/java开发人员的经验，提炼出了千余条可检查的质量规则，从代码的正确性、健壮性、可读性、语义唯一性、环境兼容性等多个方面对之进行详尽地检查，辅助开发及测评人员查找代码中的问题。

功能紧凑、简单易用
plsta以辅助用户提高编码质量为核心，力求以最简洁的方式提供最实用的分析结果。用户仅仅需要执行“打开”操作，就可以查看工程中所有源文件的度量指标、相关代码、控制流图、以及规则检查结果等重要信息。在执行一次“综合质量分析”操作，就可以查阅工程中所有源文件及其逐函数的指标汇总报告、规则检查报告、可读性报告、可维护性报告、可测试性报告以及质量评估报告等众多分析报告。

使用灵活
plsta允许用户选择语法分析策略、分析报告内容以及编码规则，还允许用户调整相关编码规则的边界（阀值），从而使之成为自己特定的编码规则。借助于自身具备的灵活性，plsta尽可能的适应用户的应用环境。

使用步骤

第一步：安装系统
注意1: 尽量不要安装在c盘，尤其是当操作系统是win8的时候。
注意2：操作系统用户应该具有操作系统盘的权限，尤其在win8或win8+时候要注意。
注意3: 如果已经安装了“雨田单元测试系统”，那么不要将“雨田静态分析系统”与“雨田单元测试系统”安装在同一目录下。
注意4： 如果安装后首次使用即提示过期，通常是由于操作系统权限设置问题，需要联系产品提供方。
第二步：运行系统。
从桌面或者快捷菜单中运行系统。
第三步：打开文件
在主界面中“文件”菜单栏中点击“打开”菜单项，在弹出的对话框中选择要分析的文件(例如：安装目录\examples\Ggrocers.c)。注意目前仅仅能处理.c/.cpp/.h文件，所以请不要打开其他类型的文件。
第四步：分析并浏览分析结果
在打开文件后的主界面中的左侧的函数导航树中通过点击选择要分析的函数，系统会对选择的函数进行静态分析。通过切换主界面右侧的分析结果试图顶部的模式，可以查阅不同的静态分析结果。

使用说明

1 试用版中显示了部分度量指标，检查了部分质量规则，正式版中会显示全部度量指标，检查全部质量规则;
2 如欲检查全部质量规则或者计算全部指标，请选用正式版或者使用测试之家提供的“远程静态分析”服务;
3 与本产品同系列的还有另外一款相关软件：雨田单元测试系统2.2，能够进行单元测试，在单元测试软件领域进行了多项创新与突破，欢迎关注;
4 欢迎大家提出宝贵意见。

更新日志

1 解决了空switch不能正确处理的问题；
2 区分了正式版和评估版所对应的不同的规则集合；
3 增加了近百条编码规则的检查；
4 增加了对static，volatile等关键词的解析、存储及使用；
5 调整了循环变量的确认方法。

官方网站：http://www.tlemp.com/

相关搜索：静态分析