0 items - $0.00
Follow softwareverify on Twitter

Analyse threading problems quickly and easily

Download Eval
x86

Download Eval
x64

Buy x86
Buy x64

Single user x86: $499

Single user x64: $749

C++ Thread Validator C++ Thread Validator CD Picture

Thread Validator - Code Coverage

The coverage view shows coverage information for all code related to threading behaviour.

What code is related to threading behaviour? Any code that creates or destroys critical sections or other synchronization objects (Mutexes, Semaphores, Events, etc) and any code that opens or closes handles that can be waited up (Files, Pipes, Sockets, etc).

If your code is multithreaded you'll want to know that your tests are exercising these parts of your code. And unlike a normal code coverage tool where your synchronization object usage is lost in the general code coverage statistics, this coverage view only provides coverage for the synchronization object related code and ignores all other code for code coverage purposes, making it much easier to understand if a particular item of code is interesting or not.

Coverage View

Go to Top ^^