Polyspace Bug Finder™识别错误ejecución，同时的问题，漏洞和缺陷在软件集成C和c++。través del análisis estático, incluido el análisis semántico, Polyspace Bug Finder软件数据控制，程序间的数据。Permite的分类和错误，在这个过程中，在这个过程中，在这个过程中，在这个过程中，在这个过程中。
Polyspace Bug Finder compprueba la contrtium con estándares de reglas de codificación tales como MISRA C®， misra c++， autosar c++ 14，证书®C C C++，个人命名的约定。Genera informes que bugs de software, infracciones de reglas de codificación y métricas de calidad del código, incluida la complejidad ciclomática。
En el caso del código generado automáticamente, Polyspace的结果®模拟器的模型®y los bloques de dSPACE®TargetLink®．
El soorte para estándares de la industria está可提供través de IEC认证套件(适用于ISO 26262和IEC 61508)和DO资格套件(适用于DO-178)。
Identificación软件的漏洞
识别变异categorías不同的bugs，故事como vulnerable abilidades de seguridad，同时的缺陷numéricos。配置el análisis para cualquier compilador, procador de destino o entorno RTOS。
contremad con estándares de codificación
Aplique estándares de codificación de软件集成故事comoMISRA - CMISRA c++， AUTOSAR c++ 14, JSF++ y的命名方法。
Pruebas estáticas de la seguridad de aplicaciones
Garantice la seguridad del código detectando vulnerable abilidades和问题de seguridad。Cumpla con estándares y directrices de codificación seguridad tales comoCERTC/ c++， CWE, ISO 17961, MISRA C:2012修订版
Soporte对位certificacion
有必要的人工制品和完整的过程certificación de contrcontrte con estándares de protección和工业环境的环境符合IEC 61508, ISO 26262, ISO/SAE 21434 DO-178C有一个máximos niveles de protección有功能的环境。
Integración de Simulink y状态流
Analice el código我们有了自己的结果código我们有了自己的模型动态仿真模块O el gráfico deStateflow®correspondiente。Inicie el análisis Polyspace desde el entorno de Simulink。
Supervisión de la calidad del software
是métricas de código para medir y mejorar la calidad del código fuente。比较一下análisis的结果和calidad的伞。
Análisis彼此对等的互动
análisis我修改了自己的结果。找出原因raíz bugs compljos con una vista de depuración, seguimiento de eventos y gráficos de llamada。Solucione problem y generere inform。
recurso项目del producto:
" Polyspace garantiza la seguridad y calidad del software identificando y corrigiendo error críticos en tiempo de ejecución antes de realizar una combinación de códigos "
Johannes Foufas，沃尔沃汽车公司
¿Tiene interés en Polyspace Bug Finder?
Siguientes出来
您也可以从以下列表中选择网站: