USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD
bat365 - 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 (2023). USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD (/matlabcentral/fileexchange/27525-using-polyspace-to-implement-the-software-quality-objectives-for-source-code-quality-standard), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform Compatibility
Windows macOS LinuxCategories
- Code Generation > IEC Certification Kit (for ISO 26262 and IEC 61508) >
- Automotive > IEC Certification Kit (for ISO 26262 and IEC 61508) >
- Code Verification > Polyspace Bug Finder >
- Verification, Validation, and Test > Polyspace Bug Finder >
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
- Robotics and Autonomous Systems > Automated Driving Toolbox >
- Automotive > Automated Driving Toolbox >
- Verification, Validation, and Test > Simulink Check > Check Model Compliance >
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
Version | Published | Release Notes | |
---|---|---|---|
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 |