Models of the mutation and immunity in test behavioral evolution

NP-complexity of tasks of the test analysis for the developing computer systems led to emergence of new methods of generation of the tests in particular using evolutionary models. The operations of a mutation, a krossingover applied in them, fitness functions depending on object of the analysis gain special properties, mechanisms of action and dependence on evolution environment. In the real work the evolutionary systems of generation of behavioral automatic tests depending on external virus evolutionary systems, mechanisms of a virus mutation and immunity as counteractions of this mutation are considered, formal models of system of evolutions of synthesis of tests on the basis of genetic programming are offered.