Data validation using model-based testing and finite automata synchronization

In this paper we propose an effective strategy of the model-based conformance testing approach for data validation, where the data is modeled with a finite automaton. We describe an algorithm for providing a small set of test cases that are able to detect several faults in the model, like missing or incorrect transition. In our approach we use the concepts from automata synchronization theory to decrease the number of resulting test cases.