Polyspace Batch Templates

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

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 Server for C/C++
• MATLAB release: MATLAB 7.13 (2011b)

[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".