Paper Info
Title
Automatic dimension inference and checking for object-oriented programs
Abstract
This paper introduces UniFi, a tool that attempts to automatically detect dimension errors in Java programs. UniFi infers dimensional relationships across primitive type and string variables in a program, using an inter-procedural, context-sensitive analysis. It then monitors these dimensional relationships as the program evolves, flagging inconsistencies that may be errors. UniFi requires no programmer annotations, and supports arbitrary program-specific dimensions, thus providing fine-grained dimensional consistency checking. UniFi exploits features of object-oriented languages, but can be used for other languages as well. We have run UniFi on real-life Java code and found that it is useful in exposing dimension errors. We present a case study of using UniFi on nightly builds of a 19,000 line code base as it evolved over 10 months.
Year
DOI
Venue
2009
10.1109/ICSE.2009.5070517
Vancouver, BC
Keywords
Field
DocType
Java,object-oriented programming,program debugging,Java code,UniFi-automatic dimension error detection tool,arbitrary program-specific dimension,context-sensitive analysis,fine-grained dimensional consistency checking,object-oriented language,object-oriented program,programmer annotation,software debugging
Programmer,Algorithm design,Programming language,Object-oriented programming,Computer science,Inference,Flagging,Exploit,Theoretical computer science,Real-time computing,Java,Primitive data type
Conference
ISSN
ISBN
Citations 
0270-5257
978-1-4244-3453-4
11
PageRank 
References 
Authors
0.70
12
2
Name
Order
Citations
PageRank
Sudheendra Hangal153635.73
Monica S. Lam25585705.61