Teoriq konformnosti

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?