View License

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

» Watch video

4.0 | 1 rating Rate this file 3 Downloads (last 30 days) File Size: 189 KB File ID: #17565 Version:
image thumbnail

Polyspace Batch Templates


Christian Bard (view profile)


16 Nov 2007 (Updated )

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

| Watch this File

File Information

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.

Required Products Polyspace Client for Ada
Polyspace Client for C/C++
Polyspace Server for Ada
Polyspace Code Prover
MATLAB release MATLAB 7.13 (R2011b)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (2)
28 Sep 2016 Ram

Learn more about Polyspace static code analysis here:

Comment only
25 Jan 2008 Ferenc Kalincsak

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

15 Apr 2008

Compatibility with PolySpace Products r2008a release (version 5.1).

27 Mar 2009 1.1

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

01 Apr 2009 1.2

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

22 Jul 2009 1.3

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

18 Sep 2009 1.4

copyrights updated for BSD license and add a HTML summary script

23 Apr 2010 1.5

update Compatibility with Polyspace release R2010a

23 Apr 2010 1.6

update compatibility with Polyspace release R2010a

21 Apr 2011 1.7

Compatible with Polyspace R2011a

03 Jan 2012 1.8

Compatibility of Summary script with Polyspace release R2011b

01 Sep 2016

Updated license

Contact us