Nicht lieferbar
Awtomatnaq programma sostoit iz konechnogo awtomata i nabora ob#ektow uprawleniq, s kotorymi wzaimodejstwuet model'. Naibolee rasprostranennym sposobom prowerki awtomatnyh programm qwlqetsq Model Checking, tak kak dlq awtomatnyh programm wysoka stepen' awtomatizacii. Odnako prowerka modelej pozwolqet werificirowat' tol'ko awtomat, no ne wsü sistemu w celom. V rabote opisan podhod k testirowaniü awtomatnyh programm. V predlagaemom podhode testirowanie ispol'zuetsq dlq prowerki sootwetstwiq specifikacii sistemy ee realizacii. Dlq formalizacii trebowanij specifikacii k modeli i ob#ektam uprawleniq predlagaetsq ispol'zowat' kontrakty. Test opisywaetsq kak posledowatel'nost' perehodow w modeli. V rabote pokazany preimuschestwa ispol'zowaniq rasshirennyh konechnyh awtomatow i kontraktow dlq postroeniq modeli i razrabotan metod nahozhdeniq whodnyh parametrow dlq wypolneniq zadannogo scenariq w awtomatnoj modeli pri pomoschi ispol'zowaniq geneticheskih algoritmow.