USING POLYSPACEВ® TO IMPLEMENT THE вЂњSOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITYвЂќ STANDARD (Scripts) Publisher's description
from Martin Brochet
The MathWorks - Renault SA - PSA Peugeot CitroГ«n - Delphi Diesel System - Valeo group wrote together a code quality standard from scratch
The MathWorks - Renault SA - PSA Peugeot CitroГ«n - Delphi Diesel System - Valeo group wrote together a code quality standard from scratch. They wrote a 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.
PolyspaceВ® is a third part tool (i.e. independent of the supplier or the customer) and as such, the outputs it generates can be used as criteria to determine acceptability with respect to the quality objectives.
PolyspaceВ® will help to achieve Software Quality Requirements (SQR), which are related to the following activities: MISRA-C:2004 compliancy, absence of run-time errors, non terminating calls and loops, presence of justified or unjustified unreachable code, data flow analysis and finally classification of any of the previous items as defects, with a criticality and a status.
This document explains how to meet the requirements of the вЂњSoftware Quality Objectives For Source CodeвЂќ standard (SQO) by using the PolyspaceВ® code verification tools. This applies specifically to code in the C language.
System Requirements:MATLAB 7.8
Program Release Status: Major Update
Program Install Support: Install and Uninstall