Software Quality Objectives for Source Code

International audienceThe MathWorks - Renault SA - PSA Peugeot Citroën - Delphi Diesel System - Valeo group wrote together a code quality standard from scratch. This document describes how the code standard places the proof of absence of run-time errors at the centre 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. Additionally, this document describes how the Automotive manufacturers and the suppliers have to agree on and achieve different Software Quality Objectives according to the code life cycle stage and the safety aspects of the application.Finally, the document illustrates that standard with the PolySpace product and details how the product can help both the automotive manufacturer and the supplier working with this standard