View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Join the 15-year community celebration.

Play games and win prizes!

» Learn more

5.0
5.0 | 1 rating Rate this file 2 Downloads (last 30 days) File Size: 2.26 MB File ID: #27525 Version: 1.9.0.1
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 (2)
28 Sep 2016 Ram

Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html

Comment only
06 Jul 2010 Joachim Schlosser

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

Updates
29 Jun 2010 1.1

This is an update to remove some pages setting errors.

31 Jan 2011 1.3

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

30 Mar 2012 1.5

New version Polyspace SQO V3

06 Apr 2012 1.4

Version 3 Applicable to SQO 2.0 and Polyspace release R2011b

13 Jul 2012 1.6

Implement Polyspace R2012a for SQO-V2 and SQO-V3

09 Nov 2012 1.8

Implement SQ0 V3.0 using Polyspace R2012b

07 Nov 2014 1.9

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

01 Sep 2016 1.9.0.1

Updated license

Contact us