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

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

研究成果: Conference contribution

2 引用 (Scopus)

抄録

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.

元の言語English
ホスト出版物のタイトルProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
出版者Institute of Electrical and Electronics Engineers Inc.
ページ124-125
ページ数2
ISBN(印刷物)9781479973774
DOI
出版物ステータスPublished - 2014 12 12
イベント25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples
継続期間: 2014 11 32014 11 6

Other

Other25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
Naples
期間14/11/314/11/6

Fingerprint

Decision tables
Model checking
Specifications

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

これを引用

Matsuura, S., Aoki, Y., & Ogata, S. (2014). Practical behavioral inconsistency detection between source code and specification using model checking. : Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 (pp. 124-125). [6983818] 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.

研究成果: Conference contribution

Matsuura, S, Aoki, Y & Ogata, S 2014, Practical behavioral inconsistency detection between source code and specification using model checking. : 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. 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. : Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 124-125. 6983818 https://doi.org/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
@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",
year = "2014",
month = "12",
day = "12",
doi = "10.1109/ISSREW.2014.39",
language = "English",
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 - 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

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 -