使用PolySpace工具用于颜色仿真软件模型结果直接显示哪些块包含或不运行时错误(如除零,溢出……)。
有4个颜色:
绿色:免费的运行时错误
红色:系统的运行时错误
灰色:遥不可及的代码
橙色:未经证实的代码(潜在的错误)
引用作为
大卫Jaffry (2022)。从PolySpace颜色模型验证(//www.ru-cchi.com/matlabcentral/fileexchange/29799-color-model-from-polyspace-verification), MATLAB中央文件交换。检索。
MATLAB版本兼容性
创建R2008b
兼容任何释放