0 items - $0.00
Follow softwareverify on Twitter

Visualize code coverage in realtime

Download Eval

Download Eval

Buy x86
Buy x64

Single user x86: $199

Single user x64: $299

C++ Coverage Validator C++ Coverage Validator CD Picture

C++ Coverage Validator - Branch Coverage

The Branch Coverage view displays statistics for each function that contains branching code that is being monitored for code coverage. The data is displayed in a tree format with the top level showing class and the second level showing the functions and methods in each class. The data can be displayed by Class, by Function, by File, by Directory location, by number of lines in function. In the picture shown below, pink functions have not been visited, light green functions have had some branches visited and dark green functions have had every branch visited. Each line in the display shows the filename, number of branches in each function, number of branches that have been visited in the function, the total visit count for the function containing the branch, and the percentage of branches that have been visited for the function.

The colour coding allows at a glance viewing of the branch code coverage of each function. The controls at the bottom of the display allow the results to be sorted and to be viewed graphically.

When a file is selected in the left hand pane, the source code for that file is displayed in the right hand pane, with visited and unvisited lines shown in the appropriate colours, so you can at-a-glance see which lines have been visited.

A popup menu (right mouse button) allows each file to be edited in a syntax coloured editor that highlights each line according to the visit status of each line. The popup menu also provides options for controlling the expand and collapse state of the tree control.

This picture shows the Branch Coverage view expanded to show the methods in each class.

Branch Coverage View

Go to Top ^^