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

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

Research output: ResearchConference contribution

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.

LanguageEnglish
Title of host publicationProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages124-125
Number of pages2
ISBN (Print)9781479973774
DOIs
StatePublished - 2014 Dec 12
Event25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples
Duration: 2014 Nov 32014 Nov 6

Other

Other25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
CityNaples
Period14/11/314/11/6

Fingerprint

Decision tables
Model checking
Specifications

Keywords

  • Model checking
  • UML-based specification
  • Verification method of source code

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

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). [6983818] Institute of Electrical and Electronics Engineers Inc.. DOI: 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.

Research output: ResearchConference 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, Institute of Electrical and Electronics Engineers Inc., pp. 124-125, 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014, Naples, 14/11/3. DOI: 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. Available from, 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
@inbook{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",
year = "2014",
month = "12",
doi = "10.1109/ISSREW.2014.39",
isbn = "9781479973774",
pages = "124--125",
booktitle = "Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - CHAP

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

SN - 9781479973774

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.

ER -