文件交换

Polyspace验证的颜色模型

版本1.0.0.1（451 kb） 大卫·贾夫里（David Jaffry）
工具颜色使用Polyspace代金宝app码验证模拟模型。
0.0
（0）

694下载

更新2016年9月1日

查看版本历史记录

查看许可证

该工具用于使用polyspace结果对模型进行颜色，金宝app以直接显示哪些块包含或不运行时错误（例如零，溢出...）。
有4种颜色：
-green：没有运行时错误
-RED：系统的运行时间错误
- 格雷：无法到达的代码
-orange：未经证实的代码（潜在错误）

引用为

David Jaffry（2022）。Polyspace验证的颜色模型（//www.tatmou.com/matlabcentral/fileexchange/29799-color-model-from-polyspace-verification），matlab中央文件交换。检索。

MATLAB释放兼容性
使用R2008B创建
与任何版本兼容
平台兼容性
视窗 苹果系统 Linux

社区寻宝

在Matlab Central中找到宝藏，发现社区如何为您提供帮助！

开始狩猎！