Refine by Content Type

Refine by Product

Refine by Time Frame

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 2 years ago

SCOPE: interactively tabulate SEER excel variables by Rex Cheung

This takes SEER excel column data interactively, tabulate them, write back in table format. (data import, data export, optimization)

output=xls2tabulate2xls(xlsfilename)

image thumbnail

updated almost 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 6 years ago

ViewerTools by Christian Bard

Utility designed to help adding a "Tools" menu in The PolySpace® Viewer (polyspace, viewer tools, utility)

image thumbnail

updated 5 years ago

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

Contact us