减少分析时间和内存使用
将应用程序模块化,降低应用程序的复杂度
通过减少内存使用和模块化分析,解决分析时间较长的问题。
疑难解答
找出阻碍因素
- Reduce Memory Usage and Time Taken by Polyspace Analysis
Reduce application size or verification complexity systematically if the verification of your full code base takes too long.
基于现有模块将分析模块化
- Modularize Polyspace Analysis by Using Build Command
Create a separate Polyspace® options file for each binary in build command. - Run Polyspace on AUTOSAR Code
Check code implementation of AUTOSAR software components for run-time errors or violation of ARXML data constraints.
自动模块化
- Modularize Large Projects in Polyspace Desktop User Interface
Break down project in Polyspace user interface into smaller modules for faster module verification. - Modularize Polyspace Analysis at Command Line Based on an Initial Interdependency Analysis
Break down Polyspace analysis into smaller and relatively independent modules for faster module verification.
技术支持
- Contact Technical Support About Issues with Running Polyspace
Learn what MathWorks® Technical Support needs from you to diagnose an issue.