Code covered by the BSD License  

5.0

5.0 | 1 rating Rate this file 33 Downloads (last 30 days) File Size: 2.26 MB File ID: #27525
image thumbnail

USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD

by

 

07 May 2010 (Updated )

This document defines a general and standard approach to measure the software quality.

| Watch this File

File Information
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 Code Prover
Polyspace UML Link RH
Simulink Coder
Embedded Coder
MATLAB release MATLAB 8.4 (R2014b)
MATLAB Search Path
/
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (1)
06 Jul 2010 Joachim Schlosser

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

Updates
29 Jun 2010

This is an update to remove some pages setting errors.

31 Jan 2011

Use of Polyspace® R2010b to comply to SQO v2.0

30 Mar 2012

New version Polyspace SQO V3

06 Apr 2012

Version 3 Applicable to SQO 2.0 and Polyspace release R2011b

13 Jul 2012

Implement Polyspace R2012a for SQO-V2 and SQO-V3

09 Nov 2012

Implement SQ0 V3.0 using Polyspace R2012b

07 Nov 2014

Update links to documentation and minor changes associated with Polyspace Code Prover R2014b

Contact us