Code covered by the BSD License  

5.0

5.0 | 1 rating Rate this file 31 Downloads (last 30 days) File Size: 10.9 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.0 (R2012b)
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

Contact us