GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS

Andrey Zakonov, Shalyto Anatoly A.

2011 , VOLUME 11, NUMBER 2 ( MART-APRIL )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS

A. Zakonov, A. A. Shalyto

Read the full article

Abstract

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.

Keywords: testing, automata-based programming, contracts, genetic algorithms

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License