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.

Description

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.

• Required Products: Polyspace Client for C/C++; Polyspace Model Link SL; Polyspace Model Link TL; Polyspace Server for C/C++; Polyspace UML Link RH; Real-Time Workshop; Embedded Coder
• MATLAB release: MATLAB 7.13 (2011b)

[Joachim Schlosser]

Marvellous way to have a sound process for software quality improvement!