Primenenie Geneticheskikh Algoritmov K Generatsii Testov: Dlya Avtomatnykh Programm - Andrey Zakonov - Books - LAP LAMBERT Academic Publishing - 9783846516041 - October 12, 2011
In case cover and title do not match, the title is correct

Andrey Zakonov
Primenenie Geneticheskikh Algoritmov K Generatsii Testov: Dlya Avtomatnykh Programm Russian edition

Price
HK$ 370
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Sep 22 - 28
Get notified about new Andrey Zakonov releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 12, 2011
ISBN13 9783846516041
Publishers LAP LAMBERT Academic Publishing
Pages 68
Dimensions 150 × 4 × 226 mm   ·   119 g
Language German  

See all of Andrey Zakonov