Сетевой метод эволюционного синтеза поведенческих тестов

Abstract

Представлен сетевой метод синтеза тестов для распределенных информацион-ных систем (РИС), основанный на сетевой модели тестирования РИС, содержащей тестовые, реа-лизующие, транспортирующие эволюции. Свойства сетевых взаимодействий модели позволяют определить особенности сетевого эволюционного синтеза тестов и предложить структуру мето-да. Сетевой эволюционный метод позволяет сократить время синтеза тестов в сравнении с де-терминированными методами.

In this paper, we present a network decomposition method for synthesizing structured behav-ioral tests for use as part of diagnosis of distributed information systems (DIS). The network decomposition method is based on the network evolutionary model of DIS testing, which contains a system of test, infecting, realizing, transporting evolutions. The interaction of evolution takes place at three levels: within the compo-nent network for an individual network automaton; cooperatively component in the evolutionary implemen-tation and transport of test behavior of a separate component of the automaton network representing DIS; between combining component cooperations. The properties of the network interactions of the model made it possible to determine the features of intercomponent basic automata compositions, parallel, sequential, feedback, evolutionary mutation and crossover operations, fitness and choice functions. Among them, in particular, are the adaptability of mutations, that are altered by means of built-in infectious evolutions, the preparation and repeated immune use of test, realized and transported behavior in the nodes of the automata network, representing DIS. The definition of an algebraic system from base sets of test, realized and trans-ported fragments, as well as signatures of compositional and evolution operations in the automata network, made it possible to propose the basic structure of the network evolutionary method of decomposition synthe-sis of structured behavioral tests. The parallelism of test evolution, realizing and transporting evolutions of the network model of testing is inherited by the network evolutionary method and allows parallel program-algorithmic realization of the interaction of evolution. As shown by analytical estimates and physical exper-iments, the network evolutionary method allows to reduce the time of synthesis of tests and preparation of test support in general for the majority of real RIS in comparison with network deterministic methods.

Представлений мережевий метод синтезу тестів для розподілених інформаційних си-стем (РІС), заснований на мережевий моделі тестування РІС, що містить тестові, реалізуючі, тран-спортуючі еволюції. Властивості мережевих взаємодій моделі дозволяють визначити особливості мережевого еволюційного синтезу тестів і запропонувати структуру методу. Мережевий еволюцій-ний метод дозволяє скоротити час синтезу тестів в порівнянні з детермінованими методами.