Polyspace错误发现者和代码验证文档
Polyspace错误发现者
Polyspace®错误发现者™确定运行时错误,并发问题,安全漏洞和其他缺陷在C和c++嵌入式软件。使用静态分析,包括语义分析,Polyspace错误发现者分析软件控制、数据流和过程间的行为。通过突出缺陷一旦被检测到,它可以让您在开发过程的早期诊断和修复bug。
Polyspace错误发现者检查符合编码规则标准,如MISRA - C®MISRA c++, JSF + +, CERT®C, CERT c++,和自定义的命名约定。它生成报告的bug发现,编码规则违规行为,和代码质量度量,包括圈复杂度。Polyspace错误发现者可以使用Eclipse™IDE来分析代码在桌面上。
自动生成代码,Polyspace结果可以追溯到仿真软件万博1manbetx®模型和dSPACE®TargetLink®块。
万博1manbetx支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。
 |
 |
 |
 |
看到所有工作流程,例如:
|
分析选项(Polyspace错误发现者) 查找选项来配置分析之前,例如:
|
结果(Polyspace错误发现者) 查找结果,你得到一个分析,例如:
|
发布说明(Polyspace错误发现者) 看到的每个版本的新。 |
desktop-specific工作流,请参阅:
在桌面安装Polyspace产品s manbetx 845(Polyspace错误发现者)
在桌面设置错误仪分析(Polyspace错误发现者)
审查Polyspace错误发现者导致Polyspace用户界面(Polyspace错误发现者)
另请参阅选择Polyspace错误发现者和Polyspace代码验证。
Polyspace代码验证
Polyspace代码验证™是一个良好的静态分析工具,证明没有溢出的情况下,除界外数组访问和其他运行时错误在C和c++源代码。它产生的结果不需要程序执行,代码插装,或者测试用例。Polyspace代码验证使用语义分析和抽象解释基于正式的方法来验证软件过程间,控制和数据流的行为。您可以使用它来验证手写代码,生成的代码,或两者的结合。每个代码语句颜色表明是否它是免费的运行时错误,证明失败,遥不可及的,或未经证实的。
Polyspace代码验证显示范围信息变量和函数返回值,和可以证明变量超过指定范围的限制。代码验证结果可以用来跟踪质量指标和检查与您的软件质量目标的一致性。Polyspace代码验证可以使用Eclipse IDE来验证代码在桌面上。
万博1manbetx支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)做资格工具包(- 178)。
 |
 |
 |
 |
看到所有工作流程,例如:
|
分析选项(Polyspace代码验证) 查找选项来配置分析之前,例如:
|
结果(Polyspace代码验证) 查找结果,你得到一个分析,例如:
|
发布说明(Polyspace代码验证) 看到的每个版本的新。 |
desktop-specific工作流,请参阅:
在桌面安装代码验证(Polyspace代码验证)
在桌面设置代码验证分析(Polyspace代码验证)
回顾Polyspace Polyspace用户界面代码验证结果(Polyspace代码验证)
另请参阅选择Polyspace错误发现者和Polyspace代码验证。
Polyspace错误发现者服务器
Polyspace错误发现者服务器™是一个静态分析引擎,识别常见的错误在C和c++类,包括运行时错误,并发问题,和其他编码的缺陷。Polyspace错误发现者服务器还检查源代码坚持编码规则(MISRA - C, MISRA c++, JSF + +),安全规则(CWE、CERT-C CERT-C + +, ISO / IEC 17961),和自定义规则。
与Polyspace错误发现者服务器您可以监视代码度量圈复杂度、堆栈的使用,和他的指标项目,文件,和功能水平。您可以配置服务器使用不同的编译器,目标处理器和操作系统环境,与持续集成系统和自动化执行使用工具,如詹金斯。代码分析结果可以公布Polyspace错误发现者访问™诊断和解决。
万博1manbetx支持行业标准可以通过IEC认证工具包IEC认证工具包(IEC 61508和ISO 26262)做资格工具包(- 178)。
特定于服务器的工作流程,请参阅:
安装Polyspace错误发现者服务器(Polyspace错误发现者)
设置错误仪分析在持续集成服务器上(Polyspace错误发现者)
Polyspace代码验证服务器
Polyspace代码验证服务器是一个良好的静态分析引擎,证明没有溢出的情况下,除界外,数组访问和某些其他C和c++代码中运行时错误。它执行过程间分析所有可能的控制流和数据流,包括多线程代码,确定每个操作总是安全的,总是错误的,不可到达或脆弱。Polyspace代码验证服务器标识代码段是免费的运行时错误,证明失败,遥不可及的,或未经证实的。
Polyspace代码验证服务器可以运行在一个服务器级别的机器,可以集成到构建和持续集成系统自动验证使用工具,如詹金斯。分析结果可以公布Polyspace代码验证访问诊断和解决。
万博1manbetx支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)做资格工具包(- 178)。
特定于服务器的工作流程,请参阅:
安装Polyspace代码验证服务器(Polyspace代码验证)
在持续集成服务器上设置代码验证分析(Polyspace代码验证)
Polyspace错误发现者访问
Polyspace错误发现者访问提供了一个web浏览器界面查看静态代码分析的结果。它还提供了Polyspace代码,一个插件执行静态代码分析和分析引擎在一个集成开发环境(IDE),例如Visual Studio®,Visual Studio代码,或者Eclipse。
web浏览器界面让你审查,分配,并解决代码产生的分析结果Polyspace错误发现者服务器。接口提供了项目仪表板显示信息,您可以使用监控软件质量,项目状态,数量的缺陷,和代码度量如行代码,圈复杂度和递归。您还可以使用web浏览器接口来创建和分配门票Jira和Redmine等缺陷跟踪系统中。
Polyspace你代码检查符合标准,如MISRA - C编码规则,MISRA®c++, JSF + +, CERT C, CERT c++,和自定义命名约定在你的代码。它使您能够在开发早期发现关键缺陷和安全漏洞,没有留下您的IDE。
web-browser-specific工作流,请参阅:
安装Polyspace访问Web的评论(Polyspace错误发现者)
审查Polyspace错误发现者导致Web浏览器(Polyspace错误发现者)
特定ide的工作流,请参阅:
安装在ide Polyspace产品s manbetx 845(Polyspace错误发现者)
设置ide Polyspace分析(Polyspace错误发现者)
回顾Polyspace ide你代码的结果(Polyspace错误发现者)
Polyspace代码验证访问
Polyspace代码验证访问提供了一个web浏览器界面Polyspace代码验证结果证明缺乏关键运行时错误的源代码。它包括一个中央存储库的分析结果,使团队协作。结果Polyspace代码验证服务器可以发布到Polyspace代码验证访问诊断和解决。与Polyspace代码验证访问您可以创建和分配门票Jira等缺陷跟踪系统中。
Polyspace代码验证访问仪表板显示信息,您可以使用监控软件质量。仪表板帮你整体图形跟踪项目状态运行时错误和衡量进展对软件质量目标(SQO)阈值。
web-browser-specific工作流,请参阅:
安装Polyspace访问Web的评论(Polyspace代码验证)
回顾Polyspace代码在Web浏览器验证结果(Polyspace代码验证)
