Igor' Burdonow

Teoriq konformnosti

Funkcional'noe testirowanie programmnyh sistem na osnowe formal'nyh modelej

• Broschiertes Buch

Produktbeschreibung

V XXI weke net nuzhdy ob#qsnqt' naskol'ko wazhen poisk oshibok w komp'üternyh programmah. Nichego luchshe testirowaniq dlq ätogo poka ne pridumano. No summarnyj ob#öm programm tak welik, i tak bystro rastet, chto delat' äto wruchnuü uzhe newozmozhno. Chtoby generirowat' testy awtomaticheski, komp'üter dolzhen ponqt', chego my ot nego hotim. A dlq ätogo my dolzhny ponqt' sami, to est' formalizowat' ponqtie «prawil'nosti» programm. Reshenie ¿ testirowanie na osnowe formal'nyh modelej. Ego cel' ¿ prowerka togo, chto realizaciq sootwetstwuet (konformna) trebowaniqm formal'noj specifikacii. Konformnost' ¿ äto otnoshenie «pohozhesti» realizacii na specifikaciü. Chto ätomu meshaet? Vo-perwyh, raznoboj w teoreticheskih podhodah. Vo-wtoryh, nerazwitost' teorii testirowaniq slozhnyh, ierarhicheski postroennyh sistem. V knige predlagaetsq teoriq konformnosti kak edinaq osnowa pod mnogimi suschestwuüschimi i razrabatywaemymi metodami specifikacii, generacii testow i werifikacii kompozicionnyh sistem. Na ätoj osnowe w obschem wide reshaetsq zadacha werifikacii dekompozicii sistemnyh trebowanij. Jeto otwet na wopros: pochemu sistema rabotaet neprawil'no, esli w ee komponentah net oshibok, i kak izbezhat' takoj nesoglasowannosti?

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 436
• Erscheinungstermin: 26. August 2011
• Russisch
• Abmessung: 220mm x 150mm x 27mm
• Gewicht: 667g
• ISBN-13: 9783845417479
• ISBN-10: 3845417471
• Artikelnr.: 62705154

Autorenporträt

Burdonow Igor' Borisowich, doktor fiziko-matematicheskih nauk, meh-mat. MGU, weduschij nauchnyj sotrudnik Instituta sistemnogo programmirowaniq RAN, Moskwa. Zanimalsq sozdaniem operacionnyh sistem (komplex AS-6, superkomp'üter Jelektronika SS-BIS, klasternaq OS KLASTOS); uchastnik programmy «Soüz-Apollon». S 1994 g. zanimaetsq testirowaniem programm.