Download: IEEE Xplore.
“Extending dynamic constraint detection with polymorphic analysis”
by Nadya Kuzmina and Ruben Gamboa.
In WODA 2007: Workshop on Dynamic Analysis, (Minneapolis, MN,
USA), May 2007, pp. 57-63.
A previous version appeared as University of Wyoming technical report
UWCS-07-01, (Laramie, WY), Jan. 2007.
A previous version appeared as
“Dynamic constraint detection for polymorphic behavior”
by Nadya Kuzmina and Ruben Gamboa.
In OOPSLA Companion: Object-Oriented Programming Systems, Languages,
and Applications, (Portland, OR, USA), Oct. 2006, pp. 657-658.
Poster.
The general technique for dynamically detecting likely invariants, as
implemented by Daikon, lacks specific object-oriented support for
polymorphism. Daikon examines only the declared type of a variable which
prohibits it from examination of the runtime variables in the presence of
polymorphism. The approach presented in this paper extends the technique
to consider the runtime type of a polymorphic variable, which may have
different declared and runtime types. The runtime behavior of a
polymorphic variable is captured by polymorphic constraints
which have the form of an implication with the name of the runtime class
in the antecedent. We demonstrate the improved accuracy of the dynamically
detected specification on the Money example from the JUnit
testing framework tutorial. Polymorphic constraints are shown to reveal
the specification of the runtime behavior of the example.
Download: IEEE Xplore.
BibTeX entry:
@inproceedings{KuzminaG2007:WODA,
author = {Nadya Kuzmina and Ruben Gamboa},
title = {Extending dynamic constraint detection with polymorphic analysis},
booktitle = {WODA 2007: Workshop on Dynamic Analysis},
pages = {57--63},
address = {Minneapolis, MN, USA},
month = may,
year = {2007}
}