Polyspace Bug Finder Server es un motor de análisis estático que identifica clases de bugs frecuentes en C y C++, como errores en tiempo de ejecución, problemas de simultaneidad y otros defectos de codificación. Polyspace Bug Finder Server también comprueba si el código fuente cumple las reglas de codificación (MISRA C®, MISRA C++, JSF++), las reglas de seguridad (CWE, CERT® C, CERT C++, ISO/IEC 17961) y las reglas personalizadas.
Con Polyspace Bug Finder Server, puede supervisar métricas de código, tales como complejidad ciclomática y métricas de HIS en los niveles de proyecto, archivo y función. Puede configurar el servidor para utilizarlo con diversos compiladores, procesadores de destino y entornos RTOS, y automatizar la ejecución con sistemas de integración contínua utilizando herramientas tales como Jenkins®. Los resultados del análisis del código se pueden publicar en Polyspace Access para su clasificación y resolución.
El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for IEC 61508 and ISO 26262) y DO Qualification Kit (for DO-178).
Automatización del análisis de código con Polyspace Bug Finder Server
Identificación de bugs y vulnerabilidades de software
Identifique varias categorías diferentes de bugs, tales como vulnerabilidades de seguridad, simultaneidad y defectos numéricos. Configure el análisis para cualquier compilador, procesador de destino o entorno RTOS.
Conformidad con estándares de codificación
Aplique estándares de codificación de software integrados tales como MISRA C y MISRA C++, AUTOSAR C++14, JSF++ y convenciones de nomenclatura personalizadas.
Pruebas estáticas de la seguridad de aplicaciones
Garantice la seguridad del código detectando vulnerabilidades y problemas de seguridad, y cumpla con estándares y directrices de codificación de seguridad tales como CERT C/C++, CWE, ISO 17961 y MISRA C:2012 Amendment 1.
Soporte para certificación
Cree los artefactos necesarios para completar el proceso de certificación de conformidad con estándares de protección y seguridad de la industria tales como IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C hasta los máximos niveles de protección o seguridad funcional.
Ejecución de análisis estático de código en cualquier plataforma
Ejecute Polyspace Bug Finder Server en un servidor de automatización local o en la nube. Utilice arquitecturas de referencia de MathWorks para realizar despliegues en plataformas tales como Docker, AWS® y Azure®.
Automatización e integración en DevOps
Soporte de prácticas de desarrollo de software modernas mediante la conexión con flujos de trabajo y herramientas de DevOps existentes. Polyspace funciona con herramientas de integración continua de uso habitual, tales como Jenkins y Bamboo®.
Recursos del producto:
Línea de productos Polyspace
Los productos Polyspace consiguen que el código crítico sea seguro y esté protegido probando y supervisando la calidad del software a lo largo del ciclo de desarrollo.
Polyspace Access
Identifique defectos de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.
Polyspace Code Prover Server
Compruebe la ausencia de errores en tiempo de ejecución en el software.
Polyspace Bug Finder
Identifique bugs de software mediante análisis estático.
Polyspace Test
Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas integrados.
Polyspace Bug Finder Server
Identifique defectos de software con análisis estáticos ejecutados en servidores.
Polyspace Client for Ada
Compruebe la ausencia de errores en tiempo de ejecución en código fuente.
Polyspace Code Prover
Compruebe la ausencia de errores en tiempo de ejecución en el software.
Polyspace Server for Ada
Realice verificación de código en clusters de escritorio y publique las métricas.
