Memory coverage view - Memory Validator
Software Verification logo

Memory Validator CD Picture
Memory Validator

Eval Buy Memory Validator
Single user: $299

Read what our customers say...

Memory Validator is also part of
C++ Developer Suite

C++ QA Suite

C++ Support Suite

Follow softwareverify on Twitter

Memory Validator - Allocation Coverage

If you are testing your application's memory allocation usage you need to know that all the places in your application that allocate and deallocate memory have been visited. The coverage analyzer provides this facility. Each source code file that allocates or deallocates memory or handles is listed in the top half of the display, with statistics indicating how many locations per file have been visited. Source code for any selected file is shown in the bottom pane.

Filters allow you to remove third party files from the display.

Auto merge facilities allow you to merge statistics from multiple runs to form a composite coverage value for your regression test suite.

This picture shows the memory allocation coverage dialog.

Click the picture for a larger image.

memory coverage view

Memory Validator   Go to Top ^^
About Us | Site Map | Legal | Contact Us | ©2002-2010: Software Verification Ltd : All rights reserved: Registered in England and Wales No. 3939098
Design by ITS GUI