Polyspace Copilot

Asistente de IA optimizado para Polyspace

Polyspace Copilot ofrece funcionalidades impulsadas por IA generativa al complemento Polyspace as You Code para el IDE de Visual Studio^® Code. Polyspace Copilot asiste en el análisis y la resolución de defectos de codificación e infracciones a los estándares de codificación MISRA C™:2023, MISRA C++™:2023 y CERT^® C/C++.

Polyspace Copilot proporciona explicaciones personalizadas de los resultados de Polyspace as You Code relacionados con su base de código local. Copilot Chat puede sugerir correcciones de código para ayudar a resolver esos resultados. Puede solicitar a Copilot Chat que responda preguntas sobre Polyspace as You Code y recibir información basada en documentación pertinente de MathWorks.

Imagen de Polyspace Copilot que explica los pasos para configurar los verificadores de normas de certificación, que abarcan activar/desactivar normas de codificación MISRA y AUTOSAR, especificar las opciones disponibles y guardar las configuraciones.

Explore las funcionalidades de Polyspace

Utilice el chat en lenguaje natural para descubrir las funcionalidades de Polyspace que mejor se ajustan a sus objetivos de verificación de código. Las respuestas de Polyspace Copilot se basan en documentación de MathWorks y en ejemplos de código.

Imagen de Visual Studio Code que ilustra la explicación de Polyspace Copilot sobre una infracción de regla MISRA y código C, con sentencias condicionales que requieren una clausula else para cumplir la norma.

Interprete los resultados de Polyspace

Revise explicaciones adaptadas y contextuales de los resultados de Polyspace as You Code, sobre infracciones de MISRA C:2023, MISRA C++:2023 y CERT C/C++.

Imagen de Visual Studio Code que muestra a Polyspace Copilot sugiriendo una corrección para un problema de código en C, con el código resaltado y un panel de explicación que detalla el cambio propuesto y su justificación.

Revise las sugerencias de corrección

Reciba orientación sobre cómo abordar los resultados de Polyspace y fragmentos de código con sugerencias sobre cómo corregir código C/C++. Polyspace Copilot puede sugerir justificaciones de Polyspace para desviaciones de resultados previamente aprobadas.

Imagen de Visual Studio Code con el chat de Polyspace Copilot abierto a la izquierda en japonés y, a la derecha, la configuración de la extensión que muestra una lista desplegable para elegir el idioma de IA, destacando actualmente el japonés entre otros.

Interactúe en su idioma preferido

Formule preguntas y reciba orientación en múltiples idiomas con el soporte de Polyspace Copilot para interacción multilingüe.

Recursos del producto:

Documentación Requisitos Notas de la versión

Línea de productos de Polyspace

Los productos de Polyspace hacen 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.