前言最近公司换工具换的比较频繁,几乎全换了一遍,QAC也和Tessy一样淡出了工具栏。最近开始学习使用Polyspace,乘记忆还新鲜,出个使用Guide记录一下,攒攒人品。软件信息软件身份确认软件名称:Polyspace Code Prover™(含桌面版、服务器版)所属公司:The MathWorks, Inc.依赖平台:必须与MATLAB一同安装(Polyspace 是 MATLAB 的附加产品)当前版本:R2025b(即 2025 年下半年发布版本)文档性质:官方安装指南(Installation Guide)⚠️重要前提:Polyspace 不是独立软件,必须通过 MATLAB 安装器或 MATLAB 环境进行安装。软件安装步骤 1:准备安装环境操作系统:Windows / Linux / macOS(需查看具体系统要求,通常 Windows/Linux 支持更全,尤其是服务器版)已安装 MATLAB?如果n