Code covered by the BSD License  

Highlights from
Generate Checks Report

Be the first to rate this file! 1 Download (last 30 days) File Size: 133.21 KB File ID: #21943

Generate Checks Report

by David Jaffry

 

30 Oct 2008 (Updated 27 Oct 2010)

This tool generates Checks report(XML & CSV format) from C and C++ PolySpace® Results.

| Watch this File

File Information
Description

Tool is designed to get report about checks of PolySpace Results. It extracts information from PolySpace-Doc/RTE_View.txt file, located in each PolySpace result.
and generates 2 files formats (CSV and XML) adding source code line and expanded source code for each check.
It works for one or several PolySpace results.

It is recommended to read carefully the associated documentation in the "Doc" sub-folder.

Required Products Polyspace Client for C/C++
Polyspace Server for C/C++
MATLAB release MATLAB 7.7 (R2008b)
Tags for This File  
Everyone's Tags
Tags I've Applied
Add New Tags Please login to tag files.
Please login to add a comment or rating.
Updates
25 Feb 2009

Change Requirements

26 Mar 2009

Change of Products Required

27 Oct 2010

Works also with R2010b

Tag Activity for this File
Tag Applied By Date/Time
report David Jaffry 12 Nov 2008 04:45:56
xml David Jaffry 12 Nov 2008 04:46:07
polyspace David Jaffry 12 Nov 2008 04:46:23

Contact us at files@mathworks.com