Polyspace 是一个静态分析工具,可识别、修复潜在的运行时错误(如:除以零),并检查源代码是否遵循 MISRA C、MISRA C++ 等代码标准。此外,Polyspace 还可以将必须手动审查的未经验证代码突出显示。其广泛用于嵌入式软件领域,如汽车、航空航天和铁路运输领域。
一、Matlab安装
Polyspace集成在Matlab上(大概),需要先安装Matlab。
1.安装软件
运行“R2018b_win64”文件夹里面的“setup.exe”进行原版程序安装。首先选择使用文件安装密钥选项
点击下一步,阅读并同意软件安装协议,“是否接受许可协议的条款?”选择“是”,点击下一步
当需要输入“提供文件安装密钥”时,输入密钥比如:09806-07443-53955-64350-21751-41297,点击下一步
软件默认安装在C盘,因软件占用磁盘空间12G+,建议点击“浏览”修改安装路径点击下一