Download: PDF.
“Extending dynamic constraint detection with polymorphic analysis”
by Nadya Kuzmina and Ruben Gamboa.
In WODA 2007: Workshop on Dynamic Analysis, (Minneapolis, MN,
USA), May 22, 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 Companion to Object-Oriented Programming Systems, Languages, and
Applications (OOPSLA 2006), (Portland, OR, USA), October 24-26,
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: PDF.
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~22,}, year = {2007} }