Title :
FSMTest-1.0: A manual for researches
Author :
N. Shabaldina;M. Gromov
Author_Institution :
National Research Tomsk State University
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"
Conference_Titel :
East-West Design & Test Symposium (EWDTS), 2015 IEEE
DOI :
10.1109/EWDTS.2015.7493141
