文件交换

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

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

1.9 k下载

更新2016年9月1日

查看许可协议

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

引用作为

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

MATLAB版本兼容性
使用R2014b创建
与任何版本兼容
平台的兼容性
窗户 macOS Linux

世界杯预选赛小组名单社区寻宝

在MATLAB Central中找到宝藏，并发现社区如何帮助您!世界杯预选赛小组名单

开始狩猎!
版本 发表 发布说明
1.9.0.1

更新许可证
1.9.0.0

更新文档链接和与Polyspace Code Prover R2014b相关的一些小更改
1.8.0.0

使用Polyspace R2012b实现SQ0 V3.0
1.6.0.0

为SQO-V2和SQO-V3实现Polyspace R2012a
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

这是删除一些页面设置错误的更新。
1.0.0.0

Baidu
map