由于Polyspace for R2012a,可以从模板文件创建一个新项目。
此工具包含一个模板列表,如果它符合编译器和目标需求,则允许最小的Polyspace选项集,以简化编译阶段的使用。
每个建议的模板都包含选项、编译标志、头文件和/或- post-预处理命令,这将有助于达到编译阶段的结束。
每个模板都不是详尽的,有时可能会失败。
无论如何,它提供了如何处理编译问题的有趣信息,以及一些在不侵入(或一些)的情况下绕过它的技巧。
可用模板列表:iar_stm33、cosmic_stm8、cosmic_ hcs12x、ccsv5_mps430、visual10_x86、qnx63_x86、ecoder_32bitgen、wince5_x86、qnx63_powerpc和boost_gnu
引用
克里斯蒂安·巴德(2023年)。Polyspace编译器模板(//www.tatmou.com/matlabcentral/fileexchange/35927-polyspace-compiler-templates), MATLAB中央文件交换。取得済み.