Бағдарламалық компоненттердің бас тартуға төзімділікті қамтамасыз ету негіздері

Сипаттама: Есептеу негіздері, есептеу әдістері, ақпараттық жүйелердің бағдарламалық қамтамасыз етуінің сенімділігі мен орнықтылығын арттыру және сынау әдістері оқытылады; бағдарламалық компоненттерді тестілеу және баптау дағдылары игеріледі

Кредиттер саны: 5

Пререквизиты:

• Ақпараттық жүйелердің негіздері

Пәннің еңбек сыйымдылығы:

Жұмыс түрлері	сағат
Дәрістер	15
Практикалық жұмыстар
Зертханалық жұмыстар	30
СӨЖО	30
СӨЖ	75
Қорытынды бақылау нысаны	емтихан
Қорытынды бақылауды жүргізу нысаны

Компонент: Таңдау бойынша компонент

Цикл: Кәсіптік пәндер

Мақсат

• Пәннің мақсаты студенттердің теориялық білімдері мен практикалық дағдыларын қалыптастыру болып табылады.

Міндет

• бағдарламалық компоненттердің істен шығуына тұрақтылығын қамтамасыз ететін шаралар кешенін жобалау және іске асыру бойынша дағдыларды игеру

Оқыту нәтижесі: білу және түсіну

• бағдарламалық компоненттердің істен шығуға төзімділігін арттыру принциптері мен әдістерін білуін көрсету

Оқыту нәтижесі: білім мен ұғымды қолдану

• АЖ әзірлеу кезінде бағдарламалық қамтамасыз етуді тестілеудің қазіргі заманғы технологияларын қолдану

Оқыту нәтижесі: талқылай білуді қалыптастыру

• әлеуметтік, кәсіби және этикалық ұстанымдарды ескере отырып, өзінің кәсіби қызметінің мәні мен салдары туралы пайымдауларды қалыптастыру

Оқыту нәтижесі: коммуникативтік қабілеттіліктер

• өзінің кәсіби қызметінде іскерлік өзара іс-қимыл үшін тұлғааралық және топтық қарым-қатынас дағдыларын дамыту

Оқыту нәтижесі: Оқу дағдылары немесе сабаққа қабілеттілігі

• Ақпараттық технологиялар саласында кәсіби және жеке дамуына, біліктілігін арттыруға ықпал ететін қажетті ақпаратты жинауды, синтездеуді және талдауды жүзеге асыру

Оқыту әдістері

- интерактивті дәріс (оқытудың келесі белсенді түрлерін қолдану: атқарушы (басқарылатын) пікірталас немесе әңгімелесу; слайдтарды көрсету; ми шабуылы); - ақпараттық-коммуникациялық (мысалы, қолданбалы бағдарламалардың кәсіби пакеттерін пайдалана отырып, компьютерлік сыныптағы сабақтар); - іздеу-зерттеу (оқу үрдісінде студенттердің өзіндік зерттеу қызметі); - оқу міндеттерін шешу.

Дәріс сабақтарының тақырыптары

• Бас тартуға төзімділікті және сенімділік теориясының негізгі түсініктері мен анықтамалары
• Сенімділіктің сандыктар көрсеткіштері
• Есептің сенімділігі пайдалынатын математикалық модельдер
• Ықтималдық теориясының математикалық аппаратын, математикалық логика аппаратын қолданумен сенімділікті есептеу
• Сенімділік теориясында Марктік үдеріс
• Резервтеу
• Бас тартуға төзімділіктің графтық модельдері
• Ақпаратты-есептеу жүйелерінің бас тартуға төзімділік принциптері
• Ақпараттық жүйенің сапасының негізгі көрсеткіштері
• Бағдарламалар кешендерінің дұрыстығы
• Бағдарламалар кешендерінің тестілеу
• Тестілеу әдістері
• Верификация
• Валидацияның (аттестацияның) әртүрлі түсініктері
• Бағдарламалық қамсызданудың сенімділігін модельдеу және бағалау

Негізгі әдебиет

• А.С. Камкин. Введение в формальные методы верификации программ. ИСП РАН, 2017
• Яхьяев Н. Я., Кораблин А. В. Основы теории надежности и диагностика. – Академия, 2009г.
• Каштанов В.А., Медведев А.И. Теория надежности сложных систем. – М.: Физматлит, 2010
• Майерс Г. Искусство тестирования программ /.Г. Майерс, Т.Баджетт, К.Сандлер. 3-е изд. - М.: «Диалектика», 2012.- 272 с.
• Надежные отказоустойчивые информационные системы. Методы синтеза / И.Б. Шубинский. – М.: «Журнал Надежность», 2016, – 546 с

Қосымша әдебиеттер

• Абросимов М.Б. Графовые модели отказоустойчивости. - Саратов: Изд-во Саратовского гос. ун-та, 2012