Primenenie geneticheskih algoritmow k generacii testow
Andrej Zakonow
Broschiertes Buch

Primenenie geneticheskih algoritmow k generacii testow

dlq awtomatnyh programm

Versandkostenfrei!
Versandfertig in 1-2 Wochen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
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 uprawle...