• DocumentCode
    3777796
  • Title

    FSMTest-1.0: A manual for researches

  • Author

    N. Shabaldina;M. Gromov

  • Author_Institution
    National Research Tomsk State University
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    In this paper we describe software tool "FSMTest-1.0" that was developed by group of authors from the department of Computer science of Tomsk State University. The tool contains implementations of well-known and original test suites generation methods for different models with finite numbers of transitions. The main contribution of our tool is that it derives test suites with the guaranteed fault coverage.
  • Keywords
    "Testing","Unified modeling language","Interoperability","Automata","Generators","Adaptation models","System recovery"
  • Publisher
    ieee
  • Conference_Titel
    East-West Design & Test Symposium (EWDTS), 2015 IEEE
  • Type

    conf

  • DOI
    10.1109/EWDTS.2015.7493141
  • Filename
    7493141
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3777796