Practical behavioral inconsistency detection between source code and specification using model checking

Saeko Matsuura; Yoshitaka Aoki; Shinpei Ogata

doi:10.1109/ISSREW.2014.39

Practical behavioral inconsistency detection between source code and specification using model checking

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.

Original language	English
Title of host publication	Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	124-125
Number of pages	2
ISBN (Electronic)	9781479973774
DOIs	https://doi.org/10.1109/ISSREW.2014.39
Publication status	Published - 2014 Dec 12
Event	25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples, Italy Duration: 2014 Nov 3 → 2014 Nov 6

Publication series

Name	Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Conference

Conference	25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
Country/Territory	Italy
City	Naples
Period	14/11/3 → 14/11/6

Keywords

Model checking
UML-based specification
Verification method of source code

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Access to Document

10.1109/ISSREW.2014.39

Cite this

Matsuura, S., Aoki, Y., & Ogata, S. (2014). Practical behavioral inconsistency detection between source code and specification using model checking. In Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 (pp. 124-125). Article 6983818 (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISSREW.2014.39

Practical behavioral inconsistency detection between source code and specification using model checking. / Matsuura, Saeko; Aoki, Yoshitaka; Ogata, Shinpei.
Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 124-125 6983818 (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Matsuura, S, Aoki, Y & Ogata, S 2014, Practical behavioral inconsistency detection between source code and specification using model checking. in Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014., 6983818, Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014, Institute of Electrical and Electronics Engineers Inc., pp. 124-125, 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014, Naples, Italy, 14/11/3. https://doi.org/10.1109/ISSREW.2014.39

Matsuura S, Aoki Y, Ogata S. Practical behavioral inconsistency detection between source code and specification using model checking. In Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 124-125. 6983818. (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014). doi: 10.1109/ISSREW.2014.39

Matsuura, Saeko ; Aoki, Yoshitaka ; Ogata, Shinpei. / Practical behavioral inconsistency detection between source code and specification using model checking. Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 124-125 (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014).

@inproceedings{9cf52cf14fbe498f88acadb2c7b12562,

title = "Practical behavioral inconsistency detection between source code and specification using model checking",

abstract = "To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.",

keywords = "Model checking, UML-based specification, Verification method of source code",

author = "Saeko Matsuura and Yoshitaka Aoki and Shinpei Ogata",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 ; Conference date: 03-11-2014 Through 06-11-2014",

year = "2014",

month = dec,

day = "12",

doi = "10.1109/ISSREW.2014.39",

language = "English",

series = "Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "124--125",

booktitle = "Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014",

}

TY - GEN

T1 - Practical behavioral inconsistency detection between source code and specification using model checking

AU - Matsuura, Saeko

AU - Aoki, Yoshitaka

AU - Ogata, Shinpei

PY - 2014/12/12

Y1 - 2014/12/12

N2 - To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.

AB - To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.

KW - Model checking

KW - UML-based specification

KW - Verification method of source code

UR - http://www.scopus.com/inward/record.url?scp=84922663228&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84922663228&partnerID=8YFLogxK

U2 - 10.1109/ISSREW.2014.39

DO - 10.1109/ISSREW.2014.39

M3 - Conference contribution

AN - SCOPUS:84922663228

T3 - Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

SP - 124

EP - 125

BT - Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Y2 - 3 November 2014 through 6 November 2014

ER -

Practical behavioral inconsistency detection between source code and specification using model checking

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this