Sciweavers

Share
OOPSLA
2015
Springer

Ayudante: identifying undesired variable interactions

3 years 8 months ago
Ayudante: identifying undesired variable interactions
A common programming mistake is for incompatible variables to interact, e.g., storing euros in a variable that should hold dollars, or using an array index with the wrong array. This paper proposes a novel approach for identifying undesired interactions between program variables. Our approach uses two different mechanisms to identify related variables. Natural language processing (NLP) identifies variables with names that may have related semantics. Abstract type inference (ATI) identifies variables that interact with each other. Any discrepancies between these two mechanisms may indicate a programming error. We have implemented our approach in a tool called Ayudante. We evaluated Ayudante using two open-source programs: the Exim mail server and grep. Although these programs have been extensively tested and in deployment for years, Ayudante’s first report for grep revealed a programming mistake. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debuggin...
Irfan Ul Haq, Juan Caballero, Michael D. Ernst
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where OOPSLA
Authors Irfan Ul Haq, Juan Caballero, Michael D. Ernst
Comments (0)
books