Constructing tests methods for the interactive computer networks at the structural-logical level

Synthesizing test sequences methods for interactive computer networks using cyclic, distinguishing and characteristic symbols for the FSM model of a network cell have been developed. A new method for state diagram modification of a cell, which doesn't have a distinguishing sequence and provides for the input of an additional input symbol and usage of state codes, which generates a Hamilton cycle in the sequence of transitions has been developed and substantiated. Methods and procedures for the synthesis of one-dimensional and two-dimensional networks with distributed configuration control have been developed. Figs.: 1. Refs.: 10 titles.