{"product_id":"teoriq-konformnosti-von-igor-burdonow","title":"Teoriq konformnosti","description":"\u003cp\u003eV 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?\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783845417479\"\u003e\u003ch3\u003eFunkcional'noe testirowanie programmnyh sistem na osnowe formal'nyh modelej\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783845417479","offer_id":39471170093149,"sku":"9783845417479","price":79.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/4f6d1219-8378-4c63-88e1-b53e43a65623.jpg?v=1757824989","url":"https:\/\/shop.autorenwelt.de\/en\/products\/teoriq-konformnosti-von-igor-burdonow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}