Ақпараттық жүйелердің сенімділігі
Сенімділік теориясының негізгі ұғымдары мен анықтамалары. Объектінің күйі.
Қабылдамау ұғымы, қабылдамау классификациясы. Объектінің сенімділігіне әсер ететін
факторлар. Сенімділіктің сандық көрсеткіштері. Тоқтаусыз жұмыстың ықтымалдығы.
Қабылдамаудың жиілігі. Қабылдамаудың қарқындылығы. Істен шыққанға дейінгі жұмыс
істеу мүмкіндігі. Қалпына келудің орташа уақыты. Даярлық коэффициенті. Сенімділік
есептеулерінде қолданылатын үлгілер. Вейбула үлестірілімі. Сенімділік есептеулердің
негізі. Математикалық логиканың аппараттарын қолдану. Ықтималдық теориясының
математикалық аппаратын қолдану арқылы сенімділікті есептеу. Тізбектелген қосылым.
Параллельді қосылым. Көпірлік қосылым. Ақпараттық жүйелерді зерттеу барысындағы
сенімділік теориясындағы марковтік процестер. Кешенді бағдарлама сапаларының негізгі
көрсеткіштері. Бағдарлама сапаларының белгілері. Кешенді бағдарламалардың
корректілігі. Корректіліктің негізгі ұғымдары. Кешенді бағдарламалардағы қателер.
Нәтижелілі тестерді құрудың әдістері. Бағдарламалық қамтамасыздандырудың
сенімділігін бағалау және үлгілеу. Бағдарламалаудың сенімділік үлгілері. Ақпараттық
жүйелердің нәтижелілігі. Бағдарламалық өнімнің өңделуі мен өндіріске енгізудің
экономикалық нәтижелілігі.