Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench

Java is one of important program language today. In Java, in order to build sound software, we have to carefully implement two fundamental methods hashCode and equals. This requirement, however, is not easy to follow in real software development. Some existing studies for ensuring the correctness of...

Full description

Saved in:
Bibliographic Details
Published inIEICE Transactions on Information and Systems Vol. E102.D; no. 8; pp. 1498 - 1505
Main Authors OKANO, Kozo, HARAUCHI, Satoshi, SEKIZAWA, Toshifusa, OGATA, Shinpei, NAKAJIMA, Shin
Format Journal Article
LanguageEnglish
Published Tokyo The Institute of Electronics, Information and Communication Engineers 01.08.2019
Japan Science and Technology Agency
Subjects
equivalence
Freeware
hash code
Java
Regression analysis
Software development
software verification
Static code analysis
Online AccessGet full text

Cover

More Information
Summary:Java is one of important program language today. In Java, in order to build sound software, we have to carefully implement two fundamental methods hashCode and equals. This requirement, however, is not easy to follow in real software development. Some existing studies for ensuring the correctness of these two methods rely on static analysis, which are limited to loop-free programs. This paper proposes a new solution to this important problem, using software analysis workbench (SAW), an open source tool. The efficiency is evaluated through experiments. We also provide a useful situation where cost of regression testing is reduced when program refactoring is conducted.
ISSN:0916-8532
1745-1361
DOI:10.1587/transinf.2018EDP7254