MathWorks -雷诺-标致雪铁龙- Delphi柴油系统-法雷奥集团-大陆- Elektrobit从头一起写代码质量标准。
SQO文档写的地方没有运行时错误的证明为中心的软件质量模型。
详细说明了以下质量模型的元素共存的供应商代码生命周期:MISRA-C编码标准,
没有运行时错误和一些代码复杂性度量。
引用作为
基督教巴德(2023)。使用POLYSPACE®实现源代码的软件质量目标质量标准(//www.tatmou.com/matlabcentral/fileexchange/27525-using-polyspace-to-implement-the-software-quality-objectives-for-source-code-quality-standard), MATLAB中央文件交换。检索。
MATLAB版本兼容性
创建R2014b
兼容任何释放
平台的兼容性
窗户 macOS Linux类别
标签
| 版本 | 发表 | 发布说明 | |
|---|---|---|---|
| 1.9.0.1 | 更新许可证 |
||
| 1.9.0.0 | 更新链接文档和微小的变化与Polyspace代码验证R2014b |
||
| 1.8.0.0 | 使用Polyspace实现SQ0 V3.0 R2012b |
||
| 1.6.0.0 | 实现Polyspace R2012a SQO-V2和SQO-V3 |
||
| 1.5.0.0 | 新版本Polyspace SQO V3 |
||
| 1.4.0.0 | 2.0版本3适用于SQO Polyspace R2011b发布 |
||
| 1.3.0.0 | 使用Polyspace®R2010b SQO v2.0遵守 |
||
| 1.1.0.0 | 这是一个更新,删除一些页面设置错误。 |
||
| 1.0.0.0 |
