Polyspace Access permite a los grupos de ingeniería de software gestionar la calidad de software en C, C++ y Ada a lo largo del ciclo de desarrollo. Proporciona un repositorio para centralizar los resultados de Polyspace Bug Finder Server, Polyspace Code Prover Server, Polyspace Server for Ada y Polyspace Test. Desde su aplicación web, puede navegar a través de los componentes y versiones de proyecto para supervisar las tendencias de calidad, explorar resultados detallados y colaborar en la gestión de problemas para clasificarlos.
Polyspace Access se integra con herramientas de gestión de proyectos y sistemas de autenticación, lo que permite una colaboración controlada y basada en equipo en torno a la calidad del software. Cuando está conectado con Polyspace as You Code, Polyspace Access sincroniza los resultados de la integración continua (CI) con los cambios locales, lo que permite centrarse en nuevos defectos.
Panel de control de proyectos y métricas de calidad
Supervise la calidad de proyectos desde el navegador web con paneles de control de proyectos, que abarcan tarjetas y gráficos sobre defectos, reglas de codificación, comprobaciones en tiempo de ejecución, resultados de pruebas y cobertura de código. Profundice por proyecto, archivo o análisis de código y resultados de pruebas. Abra paneles para centrarse en tendencias específicas de calidad. Defina objetivos de calidad basados en requisitos de seguridad y protección.
Revisión y clasificación colaborativa de resultados
Revise el análisis estático de código, el análisis dinámico y los resultados de las pruebas directamente en el navegador web con contexto de origen. Establezca el estado de los resultados (Pendiente, En curso, Finalizado), asigne responsables, agregue comentarios y filtre los resultados.
Historial, bases de referencia y comparación de ejecuciones
Visualice estadísticas de ejecuciones anteriores y compare los resultados actuales de Polyspace con bases de referencia. Supervise regresiones y el progreso a lo largo del tiempo para seguir la preparación de la versión. Identifique rápidamente nuevos problemas y cuantifique las mejoras de calidad a lo largo de las versiones.
Integración con la fábrica de software
Centralice los resultados generados en flujos de integración continua por Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada y Polyspace Test cargándolos en el repositorio de Polyspace Access para su revisión a través de la web. Controle la ejecución de trabajos de CI basándose en los umbrales de calidad definidos para el proyecto.
Acceso escalable basado en roles
Asegure y gestione el acceso a resultados de análisis de código susceptible mediante la integración con sistemas de gestión de identidades empresariales a través de LDAP. Añada seguridad adicional con SSO.
Implementación empresarial
Despliegue Polyspace Access en un entorno local o en la nube utilizando plantillas de VM, contenedores Docker o Kubernetes. Intégrese con sistemas de autenticación empresarial mediante inicio de sesión único. Supervise la salud del servidor integrando paneles de control de terceros.
Recursos del producto:
Línea de productos de Polyspace
Los productos de Polyspace consiguen que el código crítico sea seguro y esté protegido, probando y supervisando la calidad de software a lo largo del ciclo de desarrollo.
Polyspace Access
Identifique errores de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.
Polyspace Copilot
Asistente de IA optimizado para Polyspace.
Polyspace Test
Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas embebidos.
Polyspace as You Code
Identifique infracciones de estándares de codificación y vulnerabilidades de software desde IDE.
Polyspace Bug Finder
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte errores.
Polyspace Code Prover Server
Verifique continua y exhaustivamente instrucciones de código C y C++ críticas en flujos de integración continua.
Polyspace Bug Finder Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Polyspace Server for Ada
Verifique continua y exhaustivamente instrucciones de código Ada críticas en flujos de integración continua.