Matematicheskie Modeli Nadyezhnosti Programmnogo Obespecheniya

Bok av Zatenko Svetlana
V knige vpervye vsestoronne rassmotreny voprosy analiza nadyezhnosti programmnogo obespecheniya (PO)pri ogranichennoy statisticheskoy informatsii. V pervoy chasti knigi sformulirovany problemy analiza nadyezhnosti PO i provedyen kriticheskiy obzor sushchestvuyushchikh modeley nadyezhnosti PO. Vtoraya chast' knigi posvyashchena razrabotke novogo metoda modelirovaniya nadyezhnosti PO, pozvolyayushchego stroit' modeli na mnozhestve raspredeleniy veroyatnostey vremeni bezotkaznoy raboty PO v protsesse otladki, ispol'zuya tol'ko granichnye funktsii raspredeleniya. V tret'ey chasti knigi dlya prognoza nadyezhnosti PO v period ekspluatatsii byli postroeny interval'nye modeli diskretnogo i nepreryvnogo vremeni, kombiniruyushchie bayesovskiy podkhod i printsip maksimuma pravdopodobiya. V chetvyertoy chasti knigi byl razrabotan programmnyy kompleks, prednaznachennyy dlya raschyeta nadyezhnosti PO , a takzhe dlya sravneniya raboty modeley v kazhdom konkretnom sluchae. Kniga prednaznachena dlya spetsialistov, rabotayushchikh v oblasti informatsionnykh tekhnologiy, razrabotchikov (PO), dlya studentov i aspirantov.