Harakteristiki kachestwa programmnyh sredstw kosmicheskogo naznacheniq

V sowremennyh uslowiqh wozrastaet zawisimost' nadezhnosti i bezopasnosti kosmicheskih sistem neposredstwenno ot ispol'zuemyh w nej programmnyh sredstw kosmicheskogo naznacheniq (PSKN). Nepolnota, neopredelennosti i raznaq traktowka w opredelenii i formalizacii harakteristik kachestwa PSKN i trebuemyh ih znachenij ostawlqüt shirokoe pole dlq proizwola pri opisanii i oceniwanii ih kachestwa. Jeti faktory obosnowywaet neobhodimost' razrabotki i primeneniq dlq kazhdogo proekta PSKN special'nyh programm, formalizowannyh metodow opisaniq i ocenki kachestwa. V nastoqschej rabote obosnowany osobennosti, obschie trebowaniq i principy obespecheniq kachestwa PSKN. S uchetom naznacheniq, osobennostej, uslowij äxpluatacii, stepeni wazhnosti otdel'nyh trebowanij i dr. obosnowana i postroena model' kachestwa PSKN. Dlq ocenki kachestwa PSKN na osnowe postroennoj bazowoj modeli kachestwa sformirowana sistema izmerimyh (ocenochnyh) pokazatelej. Kniga prednaznachena dlq specialistow w oblasti programmnogo obespecheniq kosmicheskih sistem, takzhe uchaschihsq sootwetstwuüschih special'nostej wysshih uchebnyh zawedenij.