• DocumentCode
    3723054
  • Title

    Model-Based Testing of Stateful APIs with Modbat

  • Author

    Cyrille Artho;Martina Seidl;Quentin Gros;Eun-Hye Choi;Takashi Kitamura;Akira Mori;Rudolf Ramler;Yoriyuki Yamagata

  • Author_Institution
    Nat. Inst. of Adv. Ind. Sci. &
  • fYear
    2015
  • Firstpage
    858
  • Lastpage
    863
  • Abstract
    Modbat makes testing easier by providing a user-friendly modeling language to describe the behavior of systems, from such a model, test cases are generated and executed. Modbat´s domain-specific language is based on Scala, its features include probabilistic and non-deterministic transitions, component models with inheritance, and exceptions. We demonstrate the versatility of Modbat by finding a confirmed defect in the currently latest version of Java, and by testing SAT solvers.
  • Keywords
    "Java","Data models","Arrays","DSL","Testing","Libraries"
  • Publisher
    ieee
  • Conference_Titel
    Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on
  • Type

    conf

  • DOI
    10.1109/ASE.2015.95
  • Filename
    7372080
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3723054