Andrej Zakonow

Primenenie geneticheskih algoritmow k generacii testow

dlq awtomatnyh programm

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 68
• Erscheinungstermin: 12. Oktober 2011
• Russisch
• Abmessung: 220mm x 150mm x 5mm
• Gewicht: 119g
• ISBN-13: 9783846516041
• ISBN-10: 384651604X
• Artikelnr.: 62702543

Autorenporträt

Vypusknik kafedry Komp'üternyh Tehnologij fakul'teta Informacionnyh Tehnologij i Programmirowaniq, Sankt-Peterburgskogo Gosudarstwennogo Uniwersiteta Informacionnyh Tehnologij, Mehaniki i Optiki