In the analysis process you tell RECON which of your test cases exhibited the feature you are looking for and RECON tells you which branches seem to be most clearly related to that feature. The analysis program, R2ANALYZ, inputs a list of all of your trace files. It reads each trace file and keeps for each branch that is mentioned in any file: a count of the number of test cases 'with' the feature you are looking for that executed the branch, and a count of the number of test cases 'total' that executed the branch.

The default output of the analysis program is an annotated listing file of every file that was instrumented, and had branches identified. Each control statement that had a branch that met the conditions of the probablistic or deterministic analysis will be annnotated with an '>>>>>' and the values that were associated with the control statement will be shown on the same line as the statement.

RECON allows you to select either a DETERMINISTIC or a PROBABLISTIC method of analysis.

In a DETERMINISTIC analysis, RECON will tell you about branches that are only executed when the feature is present and never otherwise. Thus, they are very likely to be involved in implementng the feature in some way.

In a PROBABLISTIC analysis, you set a probablistic threshold given as a percentage. RECON will interpret this as a conditional probability that the feature and the branch appear together. Branches that tend to appear in test cases that exhibit a feature tend to be good indicators of the feature.