Polyspace Copilot

Assistente AI ottimizzato per Polyspace

Polyspace Copilot offre funzionalità basate sull’IA generativa per il plugin Polyspace as You Code nell’IDE Visual Studio^® Code IDE. Polyspace Copilot aiuta nell’analisi e nella risoluzione dei difetti di codice e delle violazioni degli standard di codifica, inclusi MISRA C™:2023, MISRA C++™:2023 e CERT^® C/C++.

Polyspace Copilot fornisce spiegazioni personalizzate dei risultati di Polyspace as You Code relativi al proprio codebase locale. Copilot Chat può suggerire correzioni del codice per aiutare a risolvere tali problemi. È possibile chiedere a Copilot Chat di rispondere a domande relative a Polyspace as You Code e ricevere informazioni basate sulla documentazione pertinente di MathWorks.

Screenshot di Polyspace Copilot che spiega i passaggi per configurare i checker per gli standard di certificazione, inclusa la selezione degli standard di codifica come MISRA e AUTOSAR, la specifica delle opzioni e il salvataggio delle configurazioni.

Scopri le capacità di Polyspace

Utilizza la chat in linguaggio naturale per scoprire le funzionalità di Polyspace rilevanti per i tuoi obiettivi attuali di verifica del codice. Le risposte di Polyspace Copilot si basano sulla documentazione più recente e sugli esempi di codice MathWorks.

Schermata di Visual Studio Code che mostra la spiegazione di Polyspace Copilot per una violazione di una regola MISRA e codice C con istruzioni condizionali che richiedono un’istruzione else per la conformità.

Informazioni sui risultati di Polyspace

Rivedi spiegazioni contestuali e personalizzate dei risultati di Polyspace as You Code inclusi approfondimenti sulle violazioni MISRA C™:2023, MISRA C++™:2023 e CERT® C/C++.

Schermata di Visual Studio Code che mostra Polyspace Copilot mentre suggerisce una correzione per un problema in codice C, con codice evidenziato e un pannello di spiegazione che descrive la modifica proposta e la relativa motivazione.

Revisione delle correzioni suggerite per i risultati di Polyspace

Ricevi indicazioni su come risolvere i risultati di Polyspace, inclusi frammenti di codice con suggerimenti su come correggere il tuo codice C/C++. Polyspace Copilot può suggerire giustificazioni Polyspace per deviazioni approvate nei risultati.

Schermata di Visual Studio Code con la chat di Polyspace Copilot aperta a sinistra in giapponese e, a destra, le impostazioni dell’estensione che mostrano un menu a discesa per la selezione della lingua dell’IA, con il giapponese evidenziato tra molte lingue.

Interazione nella lingua preferita

Poni domande e ricevi supporto in molte lingue grazie al supporto di Polyspace Copilot per l’interazione multilingue.

Risorse di prodotto:

Documentazione Requisiti Note della release

Famiglia di prodotti Polyspace

I prodotti Polyspace rendono il codice critico più sicuro e affidabile, testando e monitorando la qualità del software lungo tutto il ciclo di sviluppo.