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

Kirill Egorov, Fedor Tsarev, Shalyto Anatoly A.

2010 , VOLUME 10, NUMBER 5 ( SEPTEMBER-OCTOBER )

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

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

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

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