File Exchange

image thumbnail

Polyspace Batch Templates

version 1.8.0.1 (189 KB) by

This is a set of scripts allowing to launch verification in batch modules by modules.

1 Download

Updated

View License

This is a set of scripts allowing to launch in batch file by file, class by class or package by package Polyspace® verifications.
Scripts allow to launch and to download set of modules
in a 'massive' way (in remote or not). For instance, as soon as you want to Polyspace a set of files, some classes and some packages which concern same project, you can use the associated batch scripts:
* It could be the case for a developer who wants to verify his set of files, classes and packages before beginning a campaign of unit testing.
* It could be the case for a QA engineer who wants to do some acceptance testing on a project using Polyspace.
It contains a way to download results and create
simple HTML summary.

Comments and Ratings (2)

Ram

Ram (view profile)

Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html

Ferenc Kalincsak

There is a mistake in RemoteClassbyclassLaunch.sh file.
"$PRODUCT/bin/polyspace-remote-desktop-cpp" should be written instead of "$PRODUCT/bin/polyspace-desktop-cpp".

Updates

1.8.0.1

Updated license

1.8

Compatibility of Summary script with Polyspace release R2011b

1.7

Compatible with Polyspace R2011a

1.6

update compatibility with Polyspace release R2010a

1.5

update Compatibility with Polyspace release R2010a

1.4

copyrights updated for BSD license and add a HTML summary script

1.3

Add a a script to create an simple HTML summary of downloaded results

1.2

Bug fixes about "PolySpace Batch for C" and "RemoteDownload"

1.1

Batch templates updated for r2009a. Take benefit of the -options-file option.

Compatibility with PolySpace Products r2008a release (version 5.1).

MATLAB Release
MATLAB 7.13 (R2011b)

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video