Using the Debugger with the Branch Validator
The Hewlett-Packard Branch Validator (BBA) is an interactive tool that helps
you rapidly determine which branches of a program have not been taken.
With the missed branches identified, you can modify your regression tests to
ensure software reliability.
The branch analysis information is collected by C programs that have been
compiled using the bbacpp preprocessor.
To unload Branch Validator data from program
memory
• Select File→Store→BBA Data .... Then choose a file name from the File
Selection dialog box.
Or:
• Using the command line, enter:
Memory Unload_BBA All
And press the < Return> key.
This command unloads branch analysis information associated with all
absolute files loaded.
The default file name is bbadump.data.
The BBA preprocessor (-b option) must be used at compile time in order for
this information to exist in program memory.
Once this information has been unloaded, it can be formatted with the BBA
report generator, bbarep (see the HP Branch Validator for AxL S C User's
Guide).
Chapter 3: Loading and Executing Programs
Using the Debugger with the Branch Validator
117