-
Ruský jazyk
Primenenie geneticheskih algoritmow k generacii testow
Autor: Andrej Zakonow
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.... Viac o knihe
Na objednávku
45.36 €
bežná cena: 50.40 €
O knihe
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783846516041
Nemecký jazyk 
Anglický jazyk 
