IEICE TRANSACTIONS on Information
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E102-D No.8 pp.1498-1505
- Publication Date
- 2019/08/01
- Publicized
- 2019/05/14
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.2018EDP7254
- Type of Manuscript
- PAPER
- Category
- Software System
Authors
Kozo OKANO
Shinshu University
Satoshi HARAUCHI
Mitsubushi Electric Corporation
Toshifusa SEKIZAWA
Nihon University
Shinpei OGATA
Shinshu University
Shin NAKAJIMA
National Institute of Informatics
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Kozo OKANO, Satoshi HARAUCHI, Toshifusa SEKIZAWA, Shinpei OGATA, Shin NAKAJIMA, "Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench" in IEICE TRANSACTIONS on Information,
vol. E102-D, no. 8, pp. 1498-1505, August 2019, doi: 10.1587/transinf.2018EDP7254.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2018EDP7254/_p
Copy
@ARTICLE{e102-d_8_1498,
author={Kozo OKANO, Satoshi HARAUCHI, Toshifusa SEKIZAWA, Shinpei OGATA, Shin NAKAJIMA, },
journal={IEICE TRANSACTIONS on Information},
title={Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench},
year={2019},
volume={E102-D},
number={8},
pages={1498-1505},
abstract={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.},
keywords={},
doi={10.1587/transinf.2018EDP7254},
ISSN={1745-1361},
month={August},}
Copy
TY - JOUR
TI - Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
T2 - IEICE TRANSACTIONS on Information
SP - 1498
EP - 1505
AU - Kozo OKANO
AU - Satoshi HARAUCHI
AU - Toshifusa SEKIZAWA
AU - Shinpei OGATA
AU - Shin NAKAJIMA
PY - 2019
DO - 10.1587/transinf.2018EDP7254
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E102-D
IS - 8
JA - IEICE TRANSACTIONS on Information
Y1 - August 2019
AB - 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.
ER -
English
