MathWorks公司 - 雷诺 - 标致雪铁龙集团 - 德尔福柴油系统 - 法雷奥集团 - 大陆 - 伊莱比特一起写了一个从无到有的代码质量标准。
该SQO文件他们写的地方没有运行时错误的证明在其软件质量模型的中心。
它详细介绍了如何将素质模型与供应商代码生命周期在一起共存的以下内容：MISRA-C编码标准，
没有运行时错误和一些代码复杂度度量的。
引用作为
基督教巴德（2020）。使用POLYSPACE®实施“软件质量目标源代码质量”标准（//www.tatmou.com/matlabcentral/fileexchange/27525-using-polyspace-to-implement-the-software-quality-objectives-for-source-code-quality-standard），MATLAB中央文件交换。检索。
评论和评分（2）
更新
| 1.9.0.1 | 更新许可证 |
|
| 1.9.0.0 | 更新链接文档和细微的变化与Polyspace代码证明器R2014b相关 |
|
| 1.8.0.0 | 实现SQ0 V3.0使用Polyspace R2012b |
|
| 1.6.0.0 | 实施Polyspace R2012a为SQO-V2和SQO-V3 |
|
| 1.5.0.0 | 新版本Polyspace SQO V3 |
|
| 1.4.0.0 | 第3版适用于SQO 2.0和Polyspace发布R2011b |
|
| 1.3.0.0 | 使用Polyspace®R2010b中遵守对SQO V2.0 |
|
| 1.1.0.0 | 这是一个更新删除一些页面设置错误。 |
MATLAB版本兼容性
创建与R2014b
与任何版本兼容
平台兼容性
视窗 苹果系统 Linux的分类
标签
您还可以选择从下面的列表中的网站：
内存（查看资料）
详细了解这里Polyspace静态代码分析：//www.tatmou.com/discovery/static-code-analysis.html
约阿希姆·施洛瑟（查看资料）
奇妙的方式来对软件质量改进完善的过程！