La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Entradas y procesamiento con stubs

Especifique rangos para variables y funciones globales

Para especificar restricciones en los rangos de algunas variables de fuentes externas o suprimir defectos e infracciones de las reglas de codificación de algunos archivos, utilice las opciones de entradas y de procesamiento con stubs.

Opciones de Polyspace

expandir todo

Configuración de restricción (-data-range-specifications)Constrain global variables, function inputs and return values of stubbed functions
Funciones que se desea procesar con stubs (-functions-to-stub)Specify functions to stub during analysis
Bibliotecas utilizadas (-library)Specify libraries that you use in your program (Desde R2021a)
Generar resultados para fuentes y (-generate-results-for)Specify files on which you want analysis results
No generar resultados para (-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 (Desde R2023a)

Temas