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 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。
Rastreo delAnálisisdeCódigoHastaLosModelos de Simuli金宝appnk
请写análisis en el código我的意思是,我的朋友在这里有一个奥利根模型。
Configuraciónpara cualquier Enorno en Tiempo deEjecución
集成Polyspace Bug Finder con cualquier compiler, procesador de destino o torno RTOS。
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等。
Cumplimiento de Requisitos de seguridad
Garantice la congrad con CERT C/ c++, ISO 17961 y MISRA C:2012修正案1。
SuperiSióndaCalidaddel Software de Su Proyecto
比较合作的结果:análisis con雨伞和calidad软件设备和监督los hitos del proyecto con más facilidad。
Análisisde Compilaciones Integradas
ejecute el motor deanálisisestáticode polyspace bug finder server™en Un Equipo Servidor Con Herramientas deautomatizacióndocomicacionescomojenkinsybamboo。
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。
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。
SupervisióndeCalidadde ProyectosYmétricasdeCalidadde软件
我们可以使用información来监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行,也可以监督软件的运行。
Integración con las herramientas de rastreo de errors存在
我们可以通过我们的网站来购买我们想要的票。
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下面是记者们的详细情况。