Code covered by the BSD License  

4.0

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

Polyspace Batch Templates

by

 

16 Nov 2007 (Updated )

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

| Watch this File

File Information
Description

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 (1)
25 Jan 2008 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
15 Apr 2008

Compatibility with PolySpace Products r2008a release (version 5.1).

27 Mar 2009

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

01 Apr 2009

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

22 Jul 2009

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

18 Sep 2009

copyrights updated for BSD license and add a HTML summary script

23 Apr 2010

update Compatibility with Polyspace release R2010a

23 Apr 2010

update compatibility with Polyspace release R2010a

21 Apr 2011

Compatible with Polyspace R2011a

03 Jan 2012

Compatibility of Summary script with Polyspace release R2011b

Contact us