GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS
Read the full article
The article deals with an approach for automated test generation of automata-based programs. Contract approach is suggested to formalize specification requirements to the model and control objects. Test is described as a sequence of transitions in a model. Genetic algorithm is proposed for automation of test creation to find set of values meeting transition conditions.