Analyse Bug Finder dans Simulink

Vérifier l’absence de défauts dans le code C/C++ importé dans les modèles Simulink® et généré à partir de ceux-ci

Utilisez Polyspace® à partir de l'éditeur Simulink ou de la fenêtre de commande MATLAB® pour identifier les bugs potentiels, les erreurs de run-time et les infractions aux normes de codage dans votre modèle Simulink. Utilisez Polyspace à deux étapes du processus de vérification et de validation.

Avant de générer du code, détectez et traitez les problèmes susceptibles d'être induits par le code personnalisé dans votre modèle. Analysez le code personnalisé dans les blocs C function, C caller et S function. Consultez Run Polyspace Analysis on Custom Code in Simulink Models.

Une fois le code généré, analysez le code généré pour détecter les problèmes spécifiques susceptibles de ne pas être détectés dans le modèle, tels que les erreurs dues à des parties non testées du modèle ou à des options de génération de code incorrectes. Consultez Run Polyspace Analysis on Code Generated with Embedded Coder.

Après avoir intégré Polyspace et MATLAB, vous pouvez exécuter une analyse Polyspace directement à partir de l'éditeur Simulink ou utiliser des scripts MATLAB pour automatiser une analyse Polyspace. Consultez Integrate Polyspace with MATLAB and Simulink et Run Polyspace Analysis by Using MATLAB Scripts. Sinon, générez des fichiers d'options à partir de modèles Simulink et utilisez ces fichiers pour exécuter une analyse Polyspace sur le code généré dans la ligne de commande du système. Consultez Run Polyspace Analysis on Generated Code by Using Packaged Options Files.

Fonctions

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 (depuis 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 (depuis R2024a)

Classes

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

Propriétés

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

Paramètres du modèle

développer tout

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 (depuis R2023b)
Model reference input/output range verificationOption to verify that input and output of model references are within specified values (depuis 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 (depuis 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

Rubriques

Configuration

Analyser le code généré

Analyser le code personnalisé

Configuration avancée

Comment le code généré est analysé

Informations connexes