Polyspace Bug Finder.

使用静态分析识别软件bug

Polyspace Bug Finder™Identifica Errer en Tiempo deEjecución,upcernamilidades de seguridad y otros defectos en软件emebido c y c ++。TravésdeAnálisisEstático,包括Zhantico,Polyspace Bug Finder Analiza El Control Del软件,El Comportamiento Tempercentural。Al Resaltar Los defectos en Cuanto Se探测,渗透Clasificar Y Corregir Los Errores en Una Etapa Temprana del Proceso de desarrollo。

Polyspace Bug Finder Comutuba La Conformidad ConEstándaresdegercificatifificaciónComoMisraC.®, misra c++, jsf ++,证书®C y证书®c++, así como con conciones de nomenclatura personalizadas。属类告知我们,包括错误和矛盾,违反了codificación y métricas de calidad del código,包括la complejidad ciclomática。Puede usar Polyspace Bug Finder con el IDE de Eclipse™para verificar el código en su equipo de escritorio。

en el caso delcódigoanyadoautomáticamente,Los结果os de Polyspace Se Pueden Rastrear Hasta Los Modelos de Simulink金宝app®y los bloques de dspace®targetlink.®

El Soporte ParaEstándaresdel SectorestáimensibledravésdeIec认证套件(适用于ISO 26262和IEC 61508)Y DO Resification Kit(对于Do-178和Do-254)。

Comience:

Localización temprana de errres durante el desarrollo

Identifique Cientos de Clases de Erres En El Momento de Escribir O Modififar ElCódigo。

Localización de la cause raíz de errors complejos

Visualice el código en una vista de depuración con rastreo de eventos, valores de variables y árboles de llamadas。

Cree Su Pervia Ruta deNavegación。

Rastreo delAnálisisdeCódigoHastaLosModelos de Simuli金宝appnk

请写análisis en el código我的意思是,我的朋友在这里有一个奥利根模型。

Rastree los análisis de código hasta el modelo。

Configuraciónpara cualquier Enorno en Tiempo deEjecución

集成Polyspace Bug Finder con cualquier compiler, procesador de destino o torno RTOS。

EstableCimiento de Opciones de Compilador Y Destino。

Creación de código seguro y protegido

我们应该尊重我们的工业。

Conformidad Con Reglas deCodificAcióny Requisitos deCertificsación

实现Misra C,Misra C ++,AutoSAR C ++ 14,JSF ++ Y Reglas PersonalitAdas。Garantice La Conformidad Con ISO 26262,DO-178,IEC 61508,EN 50128,IEC 62304等。

Conformidad ConEstándaresde Seguridad Qualcional。

Cumplimiento de Requisitos de seguridad

Garantice la congrad con CERT C/ c++, ISO 17961 y MISRA C:2012修正案1。

ConfiguracióndeLaclobacióndeLasReglas deCodificación。

SuperiSióndaCalidaddel Software de Su Proyecto

比较合作的结果:análisis con雨伞和calidad软件设备和监督los hitos del proyecto con más facilidad。

Filtrado de resultados。

Automatización de los análisis de código con Polyspace Bug查找服务器

Lleve A Cabo UnaIntegraciónContuaMediante LaRealizacióndanálisisSobre洛斯·坎比奥德·哥多戈德Forma Temprana Y Con Frecuencia。

Análisisde Compilaciones Integradas

ejecute el motor deanálisisestáticode polyspace bug finder server™en Un Equipo Servidor Con Herramientas deautomatizacióndocomicacionescomojenkinsybamboo。

Contentacióndeprofticospolyspace en su Entorno deOttentaciónContinua。

Notificación y carga de resultados para revisión collaborative ativa

Asigne automáticamente los defectos a los proptarios de los componentes, envíe notificaciones por correo electrónico y cargue los resultados en Polyspace Bug Finder Access para clasificar y resolver los problems。

Envío de notificaciones por correo electrónico con los resultados de Polyspace Bug Finder。

RevisiónColaborativaCon PolySpace Bug Finder访问

Comparta Los ResultAdos delosanálisisylasmétricasde calidad con El Equipo de desarrollo de软件。

Revisión de resultados de análisis para classically y resolver problem

Polyspace Bug Finder Access™proporciona una interfaz de navegador web para los resultados de los análisis de código estático de Polyspace y las métricas de calidad almacenadas en un repositorio central。我们可以访问código,我们可以访问navegación,我们可以访问análisis estáticos。

Ventana de Detalles de los结果。

SupervisióndeCalidadde ProyectosYmétricasdeCalidadde软件

我们可以使用información来监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行。

visión总机面板。

Integración con las herramientas de rastreo de errors存在

我们可以通过我们的网站来购买我们想要的票。

Creaciónde门票。

Funcionalidades mas recientes

Soporte Para Compiladores.

Configuracióndeanálisissimplificada paracódigocompilado con Compiladores renasas sh c

Soporte Para C ++ 17

Ejecute análisis de Polyspace en código con funcionalidades de c++ 17

Soporte Para Autosar C ++ 14

CORTUEBE 308 REGLAS DE AUTOSAR C ++ 14,包含61 NUEVOSCOLOBADORES AGREGADOS EN R2020B

Configuración a partir del sistema de compilación

类别一个档案的proyecto和一个档案的opciones的análisis con的基础数据compilación JSON

Soporte para 金宝appsimulink.

Genere Y Empaquete Archivos de Opciones de Polyspace Desde Un Modelo de 金宝appSimulink

Soporte para CERT C

CORTUEBE LAS INFRACACIONES DE TODAS LAS REGLAS DE CERT C,包括纽埃瓦斯COLOCACIONES PARA问题DE SEGURIDAD DE SUBPROCESOS Y DATOS Concidenciales Codificato

咨询Las.Notas de laVersión下面是记者们的详细情况。

Recursos adicionales para Polyspace Bug Finder

BoletíndePolyspace.

Descubra Las Nuevas Funcionalades de Los Productos de Polyspace Y Las Mejoras en el Flujo de trabajo de desarrollo yVerificaciónde软件。