Ruský jazyk

Teoriq konformnosti

Vydavateľstvo: LAP LAMBERT Academic Publishing
Rok vydania: 2011
Formát: Paperback
Rozmer: 220 x 150 mm
Jazyk: Ruský jazyk
ISBN: 9783845417479

Na objednávku

73.17 €

bežná cena: 81.30 €

O knihe

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?