USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD
This document defines a general and standard approach to measure the software quality.
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
MathWorks - Renault SA - PSA Peugeot Citroën - Delphi Diesel System - Valeo group – Continental – Elektrobit wrote together a code quality standard from scratch.
The SQO document they wrote places the proof of absence of run-time errors at the center of its software quality model.
It details how the following elements of the quality model co-exist together with the supplier code life cycle: MISRA-C coding standard,
the absence of run-time errors and some code complexity metrics.
Cite As
Christian Bard (2026). USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD (https://au.mathworks.com/matlabcentral/fileexchange/27525-using-polyspace-to-implement-the-software-quality-objectives-for-source-code-quality-standard), MATLAB Central File Exchange. Retrieved .
Categories
Find more on IEC Certification Kit (for ISO 26262 and IEC 61508) in Help Center and MATLAB Answers
General Information
- Version 1.9.0.1 (2.26 MB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.9.0.1 | Updated license |
||
| 1.9.0.0 | Update links to documentation and minor changes associated with Polyspace Code Prover R2014b |
||
| 1.8.0.0 | Implement SQ0 V3.0 using Polyspace R2012b |
||
| 1.6.0.0 | Implement Polyspace R2012a for SQO-V2 and SQO-V3 |
||
| 1.5.0.0 | New version Polyspace SQO V3 |
||
| 1.4.0.0 | Version 3 Applicable to SQO 2.0 and Polyspace release R2011b |
||
| 1.3.0.0 | Use of Polyspace® R2010b to comply to SQO v2.0 |
||
| 1.1.0.0 | This is an update to remove some pages setting errors. |
||
| 1.0.0.0 |
