使用polyspace®实现“源代码质量的软件质量目标”标准

版本1.9.0.1 (2.26 MB) 基督教的吟游诗人
本文档定义了衡量软件质量的通用标准方法。

1.9 k下载

更新2016年9月1日

查看许可协议

MathWorks -雷诺SA - PSA标致Citroën -德尔福柴油系统-法雷奥集团-大陆- Elektrobit从头编写了一个代码质量标准。
他们编写的SQO文档将没有运行时错误的证明放在了软件质量模型的中心。
它详细介绍了质量模型的以下要素如何与供应商代码生命周期共存:MISRA-C编码标准,
没有运行时错误和一些代码复杂度度量。

引用作为

克里斯蒂安·巴德(2022年)。使用polyspace®实现“源代码质量的软件质量目标”标准(//www.tatmou.com/matlabcentral/fileexchange/27525-using-polyspace-to-implement-the-software-quality-objectives-for-source-code-quality-standard), MATLAB中央文件交换。检索