Avtomatnaya programma sostoit iz konechnogo avtomata i nabora ob"ektov upravleniya, s kotorymi vzaimodeystvuet model'. Naibolee rasprostranennym sposobom proverki avtomatnykh programm yavlyaetsya Model Checking, tak kak dlya avtomatnykh programm vysoka stepen' avtomatizatsii. Odnako proverka modeley pozvolyaet verifitsirovat' tol'ko avtomat, no ne vsyu sistemu v tselom. V rabote opisan podkhod k testirovaniyu avtomatnykh programm. V predlagaemom podkhode testirovanie ispol'zuetsya dlya proverki sootvetstviya spetsifikatsii sistemy ee realizatsii. Dlya formalizatsii trebovaniy spetsifikatsii k modeli i ob"ektam upravleniya predlagaetsya ispol'zovat' kontrakty. Test opisyvaetsya kak posledovatel'nost' perekhodov v modeli. V rabote pokazany preimushchestva ispol'zovaniya rasshirennykh konechnykh avtomatov i kontraktov dlya postroeniya modeli i razrabotan metod nakhozhdeniya vkhodnykh parametrov dlya vypolneniya zadannogo stsenariya v avtomatnoy modeli pri pomoshchi ispol'zovaniya geneticheskikh algoritmov.