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

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Copyright 2001-2019 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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