image thumbnail

updated almost 2 years ago

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

This document defines a general and standard approach to measure the software quality. (quality, runtime error, absence)

image thumbnail

updated 4 years ago

MISRA C®2004 & 1998 pre-set by Martin Brochet

found 5 Pre set files for PolySpace MISRA C® Checker (polyspace, pre set, rules for misra c)

image thumbnail

updated 5 years ago

Code Coverage Tool by Mark Walker

Code Coverage Tool measures C statement coverage in generated code. (realtime workshop, embedded code, verification)

cct_setup(mdlname)

html_dump(sfname,cname)

cov_example

Contact us