减少分析时间和内存使用
将应用程序模块化，降低应用程序的复杂度
通过减少内存使用和模块化分析，解决分析时间较长的问题。
疑难解答
找出阻碍因素
- 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 Projects by Using Makefile Builds
Create a separate Polyspace® project or options file for each binary in makefile build. - Run Polyspace on AUTOSAR Code
Check code implementation of AUTOSAR software components for run-time errors or violation of ARXML data constraints.
自动模块化
- 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.
