Title :
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking
Author :
Matsuura, Saeko ; Aoki, Yuya ; Ogata, Syuuji
Author_Institution :
Grad. Sch. of Eng. & Sci., Shibaura Inst. of Technol., Saitama, Japan
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 :
Unified Modeling Language; decision tables; formal specification; formal verification; source code (software); UML; decision table; model checking; practical behavioral inconsistency detection; source code; specification; Business; Computational modeling; Educational institutions; Java; Model checking; Natural languages; Unified modeling language; UML-based specification; model checking; verification method of source code;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
Conference_Location :
Naples
DOI :
10.1109/ISSREW.2014.39
