Contenido principal

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.

Análisis de Bug Finder en Simulink

Compruebe código C/C++ importado a los modelos de Simulink® y generado a partir de ellos para detectar defectos

Utilice Polyspace® desde el editor de Simulink o desde la ventana de comandos de MATLAB® para identificar bugs potenciales, errores en tiempo de ejecución e infracciones de los estándares de codificación en el modelo de Simulink. Utilice Polyspace en dos pasos distintos del proceso de verificación y validación.

Antes de generar código, detecte y aborde los problemas que el código personalizado del modelo pueda introducir. Analice el código personalizado en el bloque C function, el bloque C caller y el bloque S function. Consulte Run Polyspace Analysis on Custom Code in Simulink Models.

Después de generar código, analice el código generado para detectar problemas específicos del código que podrían no haberse detectado en el modelo, como errores derivados de partes no probadas del modelo o de opciones incorrectas de generación de código. Consulte Run Polyspace Analysis on Code Generated with Embedded Coder.

Después de integrar Polyspace y MATLAB, puede ejecutar un análisis de Polyspace directamente desde el editor de Simulink o utilizar scripts de MATLAB para automatizar un análisis de Polyspace. Consulte Integrate Polyspace with MATLAB and Simulink y Run Polyspace Analysis by Using MATLAB Scripts. De forma alternativa, genere archivos de opciones a partir de modelos de Simulink y utilice estos archivos de opciones para ejecutar un análisis de Polyspace en el código generado en la línea de comandos del sistema. Consulte Run Polyspace Analysis on Generated Code by Using Packaged Options Files.

Funciones

polyspacesetupIntegrate Polyspace installation with Simulink
pslinkrunCrossReleaseAnalyze C/C++ code generated by R2020b or newer Embedded Coder versions by using a different version of Polyspace that is more recent than the Simulink version (Desde R2021a)
pslinkoptionsCreate an options object to customize Polyspace analysis of generated code or custom code in Simulink model
pslinkrunRun Polyspace analysis on model, system, or S-Function
pslinkfunManage model analysis at the command line
polyspacePackNGoGenerate and package options files to run Polyspace analysis on code generated from Simulink model
polyspaceArtifactGenerate artifacts to run Polyspace analysis on code generated from Simulink model (Desde R2024a)

Clases

polyspace.ModelLinkOptionsCreate a project configuration object for running Polyspace analysis on generated code

Propiedades

pslinkoptions PropertiesProperties for the pslinkoptions object
polyspace.ModelLinkOptions PropertiesCustomize Polyspace analysis of generated code with options object properties

Ajustes de modelos

expandir todo

Settings from (C)Settings to use for the Polyspace analysis of C code
Settings from (C++)Settings to use for the Polyspace analysis
Project configurationSet advanced configuration options to customize analysis
InputOption to choose whether to constrain Inport block variables
Tunable parametersOption to specify the assumed value of tunable parameter values during the analysis
OutputOption to verify whether output variables are within expected bounds
Model reference verification depthDepth of model reference hierarchy for Polyspace analysis
Model by model verificationOption to analyze each model or referenced model individually
Ignore model referencesOption to ignore specified model references (Desde R2023b)
Model reference input/output range verificationOption to verify that input and output of model references are within specified values (Desde R2024a)
Output folderPath and folder name for your analysis results
Make output folder name unique by adding a suffixOption to add a unique suffix to the results folder for every Polyspace run
Open results automatically after verificationOption to open analysis results in Polyspace user interface after analysis completes
Add results to current Simulink projectOption to add your Polyspace results to current Simulink project
Product modeChoice between Polyspace Bug Finder and Polyspace Code Prover (Desde R2021b)
Use custom project fileOption to use custom configuration from a Polyspace project (.psprj) file
Enable additional file listOption to add additional supporting code files to analysis
Stub lookup tablesOption to stub autogenerated functions that use lookup tables with linear interpolation
Verify all S-function occurrencesOption to analyze all instances of selected S-Function block
Check configuration before verificationOption to check model and code configurations for errors before code analysis

Temas

Configuración

Analizar código generado

Analizar código personalizado

Configuración avanzada

Cómo se analiza el código generado