• DocumentCode
    187337
  • 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
  • fYear
    2014
  • fDate
    3-6 Nov. 2014
  • Firstpage
    124
  • Lastpage
    125
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
  • Conference_Location
    Naples
  • Type

    conf

  • DOI
    10.1109/ISSREW.2014.39
  • Filename
    6983818
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=187337