Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.
Individuazione dei difetti e delle violazioni degli standard di codifica nel codice C/C++ nell'interfaccia utente di Polyspace Platform
Polyspace Platform è un ambiente integrato che supporta l'analisi statica e il test dinamico del codice C/C++ con i prodotti di Polyspace®. Questo argomento illustra come iniziare a individuare i difetti (bug) e le violazioni degli standard di codifica nell'interfaccia utente di Polyspace Platform.
Per ulteriori informazioni su:
Polyspace Platform, vedere Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing (Polyspace Test).
Controllo degli errori di runtime, vedere .
Scrittura ed esecuzione di test, vedere Write C/C++ Unit Tests in Polyspace Platform User Interface (Polyspace Test).
Passaggio 1: creazione del progetto e aggiunta del codice
Per individuare difetti e violazioni degli standard di codifica nell'interfaccia utente di Polyspace Platform, aggiungere i file sorgente C/C++ a un progetto. Successivamente, sarà possibile eseguire Polyspace Bug Finder™ sui file presenti in questo progetto.
Per creare un nuovo progetto, fare clic su New nella barra degli strumenti. Spostarsi in una posizione appropriata e salvare il progetto. Il nuovo progetto viene visualizzato nel riquadro Projects.
Fare clic con il tasto destro del mouse sul nodo Code del progetto e selezionare Add Source File(s) (o Add Source Folder per aggiungere una cartella contenente i file sorgente). Spostarsi sui file sorgente e aggiungerli. È possibile selezionare più file contemporaneamente tenendo premuto CTRL (o MAIUSC per selezionare tutti i file compresi tra due file selezionati).
Passaggio 2: configurazione delle opzioni
Fare doppio clic sul nodo Configuration del progetto. Nel riquadro Configuration, specificare le opzioni di analisi secondo necessità. In particolare:
Nella scheda Build, specificare le opzioni nel nodo Target & Compiler per emulare il compiler.
Nella scheda Static Analysis, nel nodo Defects and Coding Standards, specificare i checker da abilitare.
Per l'elenco completo delle opzioni, vedere Polyspace Bug Finder Options in Polyspace Platform User Interface.
Passaggio 3: esecuzione dell'analisi
Nella barra degli strumenti, selezionare Find Issues per avviare l'analisi Polyspace Bug Finder.
Passaggio 4: revisione dei risultati
Una volta completata l'analisi, è possibile visualizzare un nodo Defects nel riquadro Results. Fare clic con il tasto destro del mouse su questo nodo e selezionare Open Review per aprire i risultati.
I risultati si compongono di tre riquadri:
Results List: elenco completo dei risultati (difetti e violazioni degli standard di codifica).
Source: codice sorgente in fase di analisi. Quando si seleziona un risultato nel riquadro Results List, è possibile spostarsi alla posizione corrispondente nel codice sorgente.
Result Details: dettagli di ciascun risultato. Quando si seleziona un risultato nel riquadro Results List, è possibile visualizzare ulteriori dettagli del risultato.
