La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Input e creazione di stub

Specificare gli intervalli per variabili globali e funzioni

Per specificare vincoli sugli intervalli di alcune variabili provenienti da sorgenti esterne o sopprimere difetti e violazioni delle regole di codifica da alcuni file, utilizzare gli input e le opzioni di creazione di stub.

Opzioni Polyspace

espandi tutto

Impostazione vincolo (-data-range-specifications)Constrain global variables, function inputs and return values of stubbed functions
Funzioni da sostituire con stub (-functions-to-stub)Specify functions to stub during analysis
Librerie utilizzate (-library)Specify libraries that you use in your program (Da R2021a)
Generare i risultati per le sorgenti e (-generate-results-for)Specify files on which you want analysis results
Non generare risultati per (-do-not-generate-results-for)Specify files on which you do not want analysis results
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (Da R2023a)

Argomenti