Download All

No BSD License

Be the first to rate this file! 1 Download (last 30 days) File Size: 2.28 MB File ID: #16928

PolySpace Stats

17 Oct 2007 (Updated 02 Apr 2009)

Give a synthesis of a PolySpace verification based on the log file

File Information
Description	This script acts on the log file generated during a PolySpace verification. It gives some statistics about the current state of a verification: ° options and statistics of each stage * the complexity of a verification: number of stubs, estimation of pointers complexity, ... ° the list of run-time errors found during the verification.
Required Products	Polyspace Client for Ada Polyspace Client for C/C++ Polyspace Model Link SL Polyspace Model Link TL Polyspace Server for Ada Polyspace Server for C/C++ Polyspace UML Link RH
MATLAB release	MATLAB 7.8 (R2009a)

Tags for This File
Everyone's Tags	log, polyspace, statistics, synthesis, verification
Tags I've Applied
Add New Tags	Please login to tag files.

Please login to add a comment or rating.

Updates
30 Mar 2009	update for r2009a and correct minor bugs. Add completed passes time.
02 Apr 2009	Bug fix (remove dependency to cygwin on .bat)