Databases Reference
In-Depth Information
Method Pairs
Dynamic Events
Static Events
FIGURE 7.3: DynaMine dynamic results view. Error patterns are shown in
red (medium gray). Usage patterns are shown in blue (dark gray). Unlikely
patterns are grayed out.
(a) Likely usage patterns: patterns with a suciently high support that
are mostly validated with relatively few errors.
(e < ^v > 5)
(b) Likely error patterns: patterns that have a significant number of val-
idated cases as well as a large number of violations.
( e 2v^v > 5)
(c) Unlikely patterns: patterns that do not have many validated cases or
cause too many errors to be usage patterns.
(e > 2v_v 5)
In DynaMine, a categorization of patterns is presented to the user in an Eclipse
view, as shown in Figure 7.3. The patterns are color-coded in the Eclipse view
to represent their type, with blue (dark gray) being a likely usage pattern,
red (medium gray) being a likely error pattern, and gray being an unlikely
pattern.
7.5 Experimental Results
In this section we discuss our practical experience of applying DynaMine
to real software systems. Section 7.5.1 describes our experimental setup; Sec-
tion 7.5.2 evaluates the results of both our patterns mining and dynamic
analysis approaches.
Search WWH ::
Custom Search