Polyspace Access

 

Polyspace Access

Identifique defectos de codificación, revise resultados de análisis estático y supervise métricas de calidad de software

Interfaz de Visual Studio que muestra Polyspace en acción.

Identificación de bugs en el entorno IDE

Identifique bugs a medida que escribe o modifica el código utilizando el complemento Polyspace as You Code dentro de un entorno IDE, como Visual Studio®, Visual Studio Code o Eclipse. Utilice interfaces API para permitir la integración con otros editores y entornos IDE.

Interfaz de Polyspace Access para configurar comprobadores.

Conformidad con estándares de codificación y reglas de seguridad

Implemente reglas de codificación de software integrado tales como MISRA C y MISRA C++, CERT C y CERT C++, AUTOSAR C++14, JSF++ y convenciones de nomenclatura personalizadas mientras codifica.

Ventana de resultados que resalta el uso no válido de un operador en el código.

Revisión y clasificación de resultados del análisis estático

Revise los resultados de Polyspace con el código fuente en el navegador web. Utilice herramientas de navegación para investigar y clasificar los resultados. Comparta hallazgos y comentarios para colaborar con los integrantes del equipo.

Panel que muestra métricas de calidad del software de un proyecto.

Supervisión de la calidad del software de proyectos

Organice los proyectos de análisis estático de código para respaldar a los equipos y los flujos de trabajo de desarrollo. Utilice la información del panel de proyectos para monitorizar la calidad del software, el estado del proyecto, el número de defectos y las métricas del código.

Integración en su fábrica de software

Integre Polyspace Access en su infraestructura de desarrollo de software para alimentar cadenas de tareas de integración continua con resultados de análisis estático de código, y enlazar los resultados de verificación de código con su herramienta de seguimiento de bugs y la gestión del ciclo de vida de aplicaciones (ALM). Instale y ejecute el servidor web de Polyspace Access junto a su despliegue de cadena de herramientas, localmente o en la nube.

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.