APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION

K. . Egorov, F. . Tsarev, A. A. Shalyto


Read the full article 

Abstract

We describe the method of finite state machine induction using both genetic programming and model
verification based on testing and model checking. The description of chromosome structure, of genetic
algorithm, of cross-over and mutation operations is given. Experimental results for the induction of elevator
doors control system are given.


Keywords: genetic programming, machine learning, model checking, automata-based programming

Creative Commons License

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

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