Equivalence Checking of Java']Java Methods - Toward Ensuring IoT Dependability -

被引：0

作者：

Okano, Kozo ^{[1
]}

Harauchi, Satoshi ^{[2
]}

Sekizawa, Toshifusa ^{[3
]}

Ogata, Shinpei ^{[1
]}

Nakajima, Shin ^{[4
]}

机构：

[1] Shinshu Univ, Fac Engn, 4-17-1 Wakasato, Nagano 3808553, Japan

[2] Mitsubishi Electr Corp, Adv Technol R&D Ctr, 8-1-1 Tsukaguchi Honmachi, Amagasaki, Hyogo 6618661, Japan

[3] Nihon Univ, Coll Engn, 1 Tamuramachi Tokusada, Koriyama, Fukushima 9638642, Japan

[4] Natl Inst Informat, Chiyoda Ku, 2-1-2 Hitotsubashi, Tokyo 1018430, Japan

来源：

2017 26TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND NETWORKS (ICCCN 2017) | 2017年

关键词：

software verification; !text type='Java']Java[!/text; hash code; and equivalence; VERIFICATION;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

IoT devices are software-rich and Java is sometimes chosen as the developing programming language. Although Java is highly productive in constructing large advanced programs, application or user-defined Java classes must be responsible for safety and security issues. In particular, two fundamental methods hashCode and equals play key roles in safety and security assurance. Some existing studies for ensuring the correctness of these two methods rely on static analysis, which are limited to loop-free programs only. This paper proposes a new solution to this important problem, based on equivalence checking of methods or functions. The proposed approach makes use of software analysis workbench (SAW), an open source tool. The approach is also useful in reducing the cost of regression testing when program refactoring is conducted.

引用

页数：6

共 27 条

[1]

[Anonymous], 2009, Handbook of Satisfiability

[2]

[Anonymous], 1997, Object-oriented software construction

[3]

[Anonymous], 2010, SMT LIB STANDARD VER

[4]

Barnett M, 2006, LECT NOTES COMPUT SC, V4111, P364

[5]

Barrett Clark, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P171, DOI 10.1007/978-3-642-22110-1_14

[6]

Brayton R, 2010, LECT NOTES COMPUT SC, V6174, P24, DOI 10.1007/978-3-642-14295-6_5

[7] An overview of JML tools and applications [J].

Burdy L. ;

Cheon Y. ;

Cok D.R. ;

Ernst M.D. ;

Kiniry J.R. ;

Leavens G.T. ;

Leino K.R.M. ;

Poll E. .

International Journal on Software Tools for Technology Transfer, 2005, 7 (3) :212-232

[8]

Chalin P, 2006, LECT NOTES COMPUT SC, V4111, P342

[9]

Cimatti A, 2013, LECT NOTES COMPUT SC, V7795, P93

[10] LOGIC SYNTHESIS THROUGH LOCAL TRANSFORMATIONS [J].

DARRINGER, JA ;

JOYNER, WH ;

BERMAN, CL ;

TREVILLYAN, L .

IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1981, 25 (04) :272-280

← 1 2 3 →