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, coding rules, absence)

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)

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)

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

PolySpace Stats by Christian Bard

Give a synthesis of a PolySpace verification based on the log file (polyspace, synthesis, verification)

ViewerTools by Christian Bard

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