image thumbnail

updated 10 months 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 3 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)

xls2tabulate2xls(xlsfilename)

image thumbnail

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

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

image thumbnail

updated 7 years ago

ViewerTools by Christian Bard

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

Contact us