Paper Abstract and Keywords |
Presentation |
2017-03-09 11:50
Equivalence Checking for Methods in Java and Its Applications Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.), Takeshi Obara (Shinshu Univ.) SS2016-65 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
A programmer sometimes implements both of equals method and hashCode method in a class of Java. The programmer should obey the implementation rules for these methods. One of the rules is that two objects that meet equals method results have to have the same hashCode value. Some of studies including our previous work provide static analysis methods for checking the rules. Our previous work has some issues: (1) the target methods should have no loop structures; and (2) it transforms the methods into a set of SAT/SMT constraints, which is not easy to understand its validity. This report provides yet another solution for the issues. The new proposed method uses equivalence checking for methods/functions. The checking function is provided by SAW, a new tool developed as an open source software. We also state that the method is useful to reduce the cost of regression testing for refactoring of the methods and revise of fields of the class. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Symbolic Execution / Equivalence Checking / Theorem proover / equals method / hashCode method / / / |
Reference Info. |
IEICE Tech. Rep., vol. 116, no. 512, SS2016-65, pp. 31-36, March 2017. |
Paper # |
SS2016-65 |
Date of Issue |
2017-03-02 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
SS2016-65 |
Conference Information |
Committee |
SS |
Conference Date |
2017-03-09 - 2017-03-10 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
|
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
SS |
Conference Code |
2017-03-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Equivalence Checking for Methods in Java and Its Applications |
Sub Title (in English) |
|
Keyword(1) |
Symbolic Execution |
Keyword(2) |
Equivalence Checking |
Keyword(3) |
Theorem proover |
Keyword(4) |
equals method |
Keyword(5) |
hashCode method |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Kozo Okano |
1st Author's Affiliation |
Shinshu University (Shinshu Univ.) |
2nd Author's Name |
Satoshi Harauchi |
2nd Author's Affiliation |
MitsubishElectric Corporation (Mitsubishi Electric Corp.) |
3rd Author's Name |
Shinpei Ogata |
3rd Author's Affiliation |
Shinshu University (Shinshu Univ.) |
4th Author's Name |
Toshifusa Sekizawa |
4th Author's Affiliation |
Nihon University (Nihon Univ.) |
5th Author's Name |
Takeshi Obara |
5th Author's Affiliation |
Shinshu University (Shinshu Univ.) |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2017-03-09 11:50:00 |
Presentation Time |
25 minutes |
Registration for |
SS |
Paper # |
SS2016-65 |
Volume (vol) |
vol.116 |
Number (no) |
no.512 |
Page |
pp.31-36 |
#Pages |
6 |
Date of Issue |
2017-03-02 (SS) |
|