This section describes the XML tags used to export session data from Coverage Validator.

 

Application and program details

 

An exported XML file starts with a few details about Coverage Validator and the target program:

 

<XML>

<VALIDATORINFO>Coverage Validator information online</VALIDATORINFO>
<VALIDATOR>Coverage Validator name</VALIDATOR>
<VALIDATORVERSION>Version</VALIDATORVERSION>
<VALIDATORDATE>Build date</VALIDATORDATE>
<VALIDATORTIME>Build time</VALIDATORTIME>
<TITLE>Target program name</TITLE>
<EXITCODE>Program exit status code and description (if collected)</EXITCODE>

<INFO>Information about the report type</INFO>
 

 

Code fragments

 

Code fragments can be included as child tags of several of the tags used for the various types of exported XML data.

 

Exporting by class will just list individual codeFragment tags while exporting by file uses the codeFragments tags.

 

<codeFragments>

 
<codeFragment>...</codeFragment>

...

 

</codeFragments>

 
For example:

 

 

<codeFragments>

 

<codeFragment 

function="CAboutDlg::CAboutDlg" 

visitCount="0" 

numLines="2" 

numLinesVisited="0" 

firstLine="156" 

lastLine="159">
 
{ }

 
</codeFragment>

 

...
 

</codeFragments>

 

 

Source files

 

When exporting by file, the SOURCEFILE tags details coverage data for a given source code file and will contain all the code fragments

 

For example

 

<SOURCEFILE 

file="c:\program files (x86)\software verify\c++ coverage validator\examples\nativeexample\nativeexample.cpp" 

dll="C:\Program Files (x86)\Software Verify\Coverage Validator\examples\nativeExample\DebugNonLinkANSI9_0\nativeExample.exe" 

numLines="32" 

numLinesVisited="17" 

numLinesUnhooked="0" 

numFunctions="10" 

numFunctionsVisited="4">

 

   ...
 
</SOURCEFILE>

 

 

Classes

 

When exporting by class, the CLASS tags details coverage data for a particular class and will contain all the code fragment children

 

For example

 

<CLASS name="CAboutDlg">

 

 

File names

 

Class information identifies a file using the FILENAME tag:

 

<FILENAME file="c:\program files (x86)\software verification\c++ coverage validator\examples\nativeexample\nativeexample.cpp"/>