Extending dynamic constraint detection with polymorphic analysis

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.

Abstract

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}
}

Back to Publications whose methodology uses invariant detection.