Guía de inicio rápido para los productos Polyspace Server y Access
Para evitar encontrar bugs en fases tardías del proceso de desarrollo, ejecute análisis estáticos utilizando productos de Polyspace®.
Polyspace Bug Finder™ analiza código C/C++ en busca de bugs, infracciones de los estándares de codificación, vulnerabilidades de seguridad y otros problemas.
Polyspace Code Prover™ realiza comprobaciones exhaustivas para detectar divisiones por cero, desbordamientos, accesos a arreglos fuera de los límites y otros tipos comunes de errores en tiempo de ejecución.
Consulte también Diferencias entre Polyspace Bug Finder y Polyspace Code Prover.
Si ejecuta comprobadores de Polyspace de forma regular como parte de una integración continua, podrá protegerse frente a regresiones provocadas por nuevas recepciones de código. Para ejecutar Polyspace en un servidor durante la integración continua, utilice Polyspace Bug Finder Server y Polyspace Code Prover Server. Para hospedar los resultados del análisis de Polyspace, utilice Polyspace Access.
La siguiente figura representa un flujo de trabajo típico.
Instalación
Requisitos previos
Dependiendo de las necesidades de su proyecto, equipo u organización, se ha decantado por adquirir un determinado número de licencias de productos de Polyspace Server y Polyspace Access. Utilice esta guía para instalar instancias individuales de estos productos en un equipo.
Instalar Polyspace Server
Para instalar los productos de Polyspace Server, descargue y ejecute el instalador de MathWorks. Introduzca una licencia para los productos de Polyspace Server (o solicite una licencia de prueba). Consulte también: Solicitar una licencia de prueba. Los productos de Polyspace Server se instalan en una carpeta independiente de la del resto de productos de MathWorks®. Consulte también Install Polyspace Server and Access Products.
Instalar Polyspace Access
Antes de instalar Polyspace Access, considere el número de usuarios que potencialmente revisarán resultados de Polyspace simultáneamente. Los requisitos del sistema dependen del número de revisores simultáneos. Consulte también System Requirements for Polyspace Access (Polyspace Access).
Polyspace Access consta de varios servicios: un administrador de usuarios para autenticar inicios de sesión, un gestor de incidencias para integrar su herramienta de seguimiento de bugs con Polyspace, una base de datos para gestionar resultados, un servidor web para mostrar los resultados y una pasarela para gestionar las comunicaciones. Estos servicios se despliegan en contenedores Docker. Puede iniciar los servicios desde una interfaz común denominada Cluster Admin.
Para instalar Polyspace Access:
Descargue el instalador como un archivo zip.
Descomprima el archivo e inicie Cluster Admin. Desde la interfaz de Cluster Admin, inicie los distintos servicios. Consulte Instalar Polyspace Access para revisiones web.
Después de la instalación, para ver los resultados cargados, usted y otros revisores podrán iniciar sesión en:
https://<hostName>:<portNumber>/metrics/index.htmlhostName y portNumber son el nombre de host del equipo servidor donde ha instalado Polyspace Access y el puerto que Polyspace Access utiliza para comunicarse con los equipos cliente, respectivamente. Por ejemplo, example-server.com:9443. Si no conoce el nombre de host ni el número de puerto, póngase en contacto con su administrador de Polyspace Access.Instalar el administrador de licencias de red
Tanto Polyspace Server como Polyspace Access utilizan licencias que requieren comunicación con un administrador de licencias de red para las reservas de licencias.
Para instalar, configurar e iniciar el administrador de licencias de red para Polyspace Server, consulte Administrar licencias de red.
Para instalar, configurar e iniciar el administrador de licencias de red para Polyspace Access, consulte Gestionar licencias Network Named User de Polyspace.
Configurar análisis de Polyspace
Requisitos previos
Usted, o el departamento de TI de su organización, debe instalar el número necesario de instancias de Polyspace Server y Polyspace Access. Esta guía le ayuda a configurar un análisis de Polyspace como parte de un sistema de integración continua utilizando una única instancia de Polyspace Server y Polyspace Access.
Para comprobar que sus instalaciones de Polyspace Server y Polyspace Access pueden comunicarse entre sí, consulte Check Polyspace Installation.
Ejecutar Polyspace Server y cargar resultados en Polyspace Access
Puede ejecutar los productos de Polyspace Server desde la línea de comandos del sistema operativo:
Para ejecutar el análisis, utilice los ejecutables
polyspace-bug-finder-serverypolyspace-code-prover-server(Polyspace Code Prover).Para cargar los resultados del análisis, utilice el comando
polyspace-access -upload(Polyspace Access). También puede utilizar el comandopolyspace-access -export(Polyspace Access) para exportar los resultados desde Polyspace Access como archivos de texto para archivarlos o enviarlos como archivos adjuntos por correo electrónico.
Todos los ejecutables de Polyspace pueden ejecutarse desde la subcarpeta polyspace/bin de la carpeta de instalación de Polyspace (por ejemplo, /usr/local/Polyspace Server/R2025a; consulte también Installation Folder). Para comenzar a ejecutar Polyspace Server con archivos fuente C y scripts de muestra, consulte:
También puede preconfigurar las opciones de análisis de Polyspace desde el comando de compilación (makefile) y, luego, añadir un segundo archivo de opciones con especificaciones del análisis como los comprobadores. Consulte Create Polyspace Analysis Configuration from Build Command (Makefile).
Si dispone de una instalación de los productos de escritorio de Polyspace, puede preparar la configuración del análisis en la interfaz de usuario de los productos de escritorio. Luego, puede generar archivos de opciones Polyspace para que se ejecuten durante la integración continua. Consulte Configure Polyspace Analysis Options in User Interface and Generate Scripts.
Incluir ejecuciones de Polyspace en la integración continua con herramientas como Jenkins
Una vez que tenga scripts funcionales para ejecutar un análisis de Polyspace, puede ejecutar esos scripts a intervalos predefinidos con herramientas de integración continua como Jenkins o Bamboo. En Jenkins, puede utilizar un complemento de Polyspace para apuntar a sus instalaciones de Polyspace y enviar notificaciones por correo electrónico al personal de desarrollo de software después del análisis, basándose en criterios como nuevos defectos detectados.
Desde la interfaz de Jenkins, busque e instale el complemento de Polyspace. Para empezar a usar rápidamente el complemento de Jenkins y los scripts de muestra, consulte el repositorio de GitHub del complemento de Polyspace. Para ver el flujo de trabajo completo con Jenkins, consulte Sample Scripts for Polyspace Analysis with Jenkins.
Crear un flujo de trabajo para revisores de resultados
En función de las herramientas que utilice, puede configurar un flujo de trabajo apropiado para los revisores de resultados. Por ejemplo:
Los revisores reciben alertas de nuevos resultados e inician sesión en Polyspace Access
Cuando hay nuevos resultados disponibles, la herramienta de integración continua envía alertas a un grupo de usuarios. La alerta por correo electrónico contiene la URL de Polyspace Access del proyecto en el que se han cargado los resultados.
En la interfaz de Polyspace Access, el revisor puede abrir la URL de este proyecto, filtrar los resultados por archivo y corregir los problemas o asignar un estado a los resultados. Consulte también:
Filter and Sort Results in Polyspace Access Web Interface (Polyspace Access)
Address Results in Polyspace Access Through Bug Fixes or Justifications (Polyspace Access)
Los revisores reciben alertas personalizadas por correo electrónico con resultados como adjunto
Antes de la carga en Polyspace Access, la herramienta de integración continua (IC) asigna propietarios a los nuevos resultados de análisis en función de la propiedad del archivo o del componente o de otro criterio, con el comando
polyspace-access -set-unassigned-findings(Polyspace Access).Después de la carga, la herramienta de integración continua exporta los resultados por propietario a un archivo de texto independiente mediante el comando
polyspace-access -export(Polyspace Access). Luego, la herramienta envía el archivo de texto como adjunto por correo electrónico al propietario. El archivo de texto contiene los resultados y las URL correspondientes en la interfaz de Polyspace Access.Si utiliza Jenkins como herramienta de integración continua, el complemento de Polyspace en Jenkins admite directamente este flujo de trabajo. Consulte Sample Scripts for Polyspace Analysis with Jenkins.
Después de recibir el correo electrónico, el propietario abre el archivo de texto adjunto, copia la URL de cada resultado en el navegador web y revisa el resultado.
Los revisores abren tickets en herramientas de seguimiento de bugs
Un revisor, como un ingeniero de calidad, revisa todos los resultados nuevos y abre tickets en JIRA para el personal de desarrollo de software. Consulte Create Bug Tracking Tool Tickets from the Polyspace Access Web Interface (Polyspace Access).
El personal de desarrollo de software abre cada ticket en JIRA y se desplaza hasta el resultado de Polyspace correspondiente en la interfaz de Polyspace Access.
