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.
Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html
There is a mistake in RemoteClassbyclassLaunch.sh file.
"$PRODUCT/bin/polyspace-remote-desktop-cpp" should be written instead of "$PRODUCT/bin/polyspace-desktop-cpp".
Compatibility of Summary script with Polyspace release R2011b
Compatible with Polyspace R2011a
update compatibility with Polyspace release R2010a
update Compatibility with Polyspace release R2010a
copyrights updated for BSD license and add a HTML summary script
Add a a script to create an simple HTML summary of downloaded results
Bug fixes about "PolySpace Batch for C" and "RemoteDownload"
Batch templates updated for r2009a. Take benefit of the -options-file option.
Compatibility with PolySpace Products r2008a release (version 5.1).
Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.