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
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика