Бағдарламалық компоненттердің бас тартуға төзімділікті қамтамасыз ету негіздері
Сипаттама: Пәннің мақсаты студенттердің теориялық білімдері мен практикалық дағдыларын қалыптастыру болып табылады. Есептеу негіздері, есептеу әдістері, ақпараттық жүйелердің бағдарламалық қамтамасыз етуінің сенімділігі мен орнықтылығын арттыру және сынау әдістері оқытылады; бағдарламалық компоненттерді тестілеу және баптау дағдылары игеріледі
Кредиттер саны: 6
Пререквизиты:
- Информациялы-коммуникацилық технологиялар
- Математика 1
Пәннің еңбек сыйымдылығы:
Жұмыс түрлері | сағат |
---|---|
Дәрістер | 30 |
Практикалық жұмыстар | |
Зертханалық жұмыстар | 30 |
СӨЖО | 30 |
СӨЖ | 90 |
Қорытынды бақылау нысаны | емтихан |
Қорытынды бақылауды жүргізу нысаны |
Компонент: Таңдау бойынша компонент
Цикл: Кәсіптік пәндер
Мақсат
- Пәннің мақсаты студенттердің теориялық білімдері мен практикалық дағдыларын қалыптастыру болып табылады.
Міндет
- бағдарламалық компоненттердің істен шығуына тұрақтылығын қамтамасыз ететін шаралар кешенін жобалау және іске асыру бойынша дағдыларды игеру
Оқыту нәтижесі: білу және түсіну
- бағдарламалық компоненттердің істен шығуға төзімділігін арттыру принциптері мен әдістерін білуін көрсету
Оқыту нәтижесі: білім мен ұғымды қолдану
- бағдарламалық жасақтаманың ақауларына төзімділікті есептеу
- АЖ әзірлеу кезінде бағдарламалық қамтамасыз етуді тестілеудің қазіргі заманғы технологияларын қолдану
Оқыту нәтижесі: талқылай білуді қалыптастыру
- әлеуметтік, кәсіби және этикалық ұстанымдарды ескере отырып, өзінің кәсіби қызметінің мәні мен салдары туралы пайымдауларды қалыптастыру
Оқыту нәтижесі: коммуникативтік қабілеттіліктер
- өзінің кәсіби қызметінде іскерлік өзара іс-қимыл үшін тұлғааралық және топтық қарым-қатынас дағдыларын дамыту
Оқыту нәтижесі: Оқу дағдылары немесе сабаққа қабілеттілігі
- Ақпараттық технологиялар саласында кәсіби және жеке дамуына, біліктілігін арттыруға ықпал ететін қажетті ақпаратты жинауды, синтездеуді және талдауды жүзеге асыру
Оқыту әдістері
- интерактивті дәріс (оқытудың келесі белсенді түрлерін қолдану: атқарушы (басқарылатын) пікірталас немесе әңгімелесу; слайдтарды көрсету; ми шабуылы); - ақпараттық-коммуникациялық (мысалы, қолданбалы бағдарламалардың кәсіби пакеттерін пайдалана отырып, компьютерлік сыныптағы сабақтар); - іздеу-зерттеу (оқу үрдісінде студенттердің өзіндік зерттеу қызметі); - оқу міндеттерін шешу.
Білім алушының білімін бағалау
Оқытушы ағымдағы бақылау жұмыстарының барлық түрлерін жүргізеді және академиялық кезеңде екі рет білім алушылардың ағымдағы үлгеріміне тиісті баға береді. Ағымдағы бақылау нәтижелері бойынша 1 және 2 рейтинг қалыптастырылады. Білім алушының оқу жетістіктері 100 балдық шкала бойынша бағаланады, Р1 және Р2 қорытынды бағасы ағымдағы үлгерім бағасынан орташа арифметикалық ретінде шығарылады. Академиялық кезеңде білім алушының жұмысын бағалауды пән бойынша тапсырмаларды тапсыру кестесіне сәйкес оқытушы жүзеге асырады. Бақылау жүйесі жазбаша және ауызша, топтық және жеке формаларды біріктіре алады.
Кезең | Тапсырма түрі | Өлшем |
---|---|---|
1 рейтинг | Лабораторная работа 1 | 0-100 |
Лабораторная работа 2 | ||
Лабораторная работа 3 | ||
Рубежный тест 1 | ||
2 рейтинг | Лабораторная работа 4 | 0-100 |
Лабораторная работа 5 | ||
Лабораторная работа 6 | ||
Рубежный тест 2 | ||
Қорытынды бақылау | емтихан | 0-100 |
Жұмыс түрлері бойынша оқыту нәтижелерін бағалау саясаты
Тапсырма түрі | 90-100 | 70-89 | 50-69 | 0-49 |
---|---|---|---|---|
Өте жақсы | Жақсы | Қанағаттанарлық | Қанағаттанарлықсыз |
Бағалау нысаны
Пән бойынша білім алушының білімін қорытынды бағалау 100 баллдық жүйе бойынша жүзеге асырылады және:
- Емтиханда алынған нәтиженің 40%;
- Ағымдағы үлгерімнің 60% - ы.
Қорытынды бағаны есептеу формуласы:
И= 0,6 | Р1+Р2 | +0,4Э |
2 |
мұндағы, Р1, Р2-тиісінше бірінші, екінші рейтингті бағалаудың сандық эквиваленттері;
Э - емтихандағы бағаның сандық баламасы.
Қортынды әріптік бағасы және оның балдық сандық эквиваленті:
Төрт балдық жүйе бойынша цифрлық баламаға сәйкес келетін білім алушылардың оқу жетістіктерін бағалаудың әріптік жүйесі:
Әріптік жүйе бойынша бағалар | Балдардың сандық эквиваленті | Балдар (%-тік құрамы) | Дәстүрлі жүйе бойынша бағалар |
---|---|---|---|
A | 4.0 | 95-100 | Өте жақсы |
A- | 3.67 | 90-94 | |
B+ | 3.33 | 85-89 | Жақсы |
B | 3.0 | 80-84 | |
B- | 2.67 | 75-79 | |
C+ | 2.33 | 70-74 | |
C | 2.0 | 65-69 | Қанағаттанарлық |
C- | 1.67 | 60-64 | |
D+ | 1.33 | 55-59 | |
D | 1.0 | 50-54 | |
FX | 0.5 | 25-49 | Қанағаттанарлықсыз |
F | 0 | 0-24 |
Дәріс сабақтарының тақырыптары
- Бас тартуға төзімділікті және сенімділік теориясының негізгі түсініктері мен анықтамалары
- Сенімділіктің сандыктар көрсеткіштері
- Есептің сенімділігі пайдалынатын математикалық модельдер
- Ықтималдық теориясының математикалық аппаратын, математикалық логика аппаратын қолданумен сенімділікті есептеу
- Сенімділік теориясында Марктік үдеріс
- Резервтеу
- Бас тартуға төзімділіктің графтық модельдері
- Ақпаратты-есептеу жүйелерінің бас тартуға төзімділік принциптері
- Ақпараттық жүйенің сапасының негізгі көрсеткіштері
- Бағдарламалар кешендерінің дұрыстығы
- Бағдарламалар кешендерінің тестілеу
- Тестілеу әдістері
- Верификация
- Валидацияның (аттестацияның) әртүрлі түсініктері
- Бағдарламалық қамсызданудың сенімділігін модельдеу және бағалау
Негізгі әдебиет
- Абросимов М.Б. Графовые модели отказоустойчивости. - Саратов: Изд-во Саратовского гос. ун-та, 2012.
- Каштанов В.А., Медведев А.И. Теория надежности сложных систем. – М.: Физматлит, 2010
- Криспин Л. Гибкое тестирование: практическое руководство для тестировщиков ПО и гибких команд / Л. Криспин, Д.Грегори. - М.: «Вильямс», 2010. - 464 с.
- Майерс Г. Искусство тестирования программ /.Г. Майерс, Т.Баджетт, К.Сандлер. 3-е изд. - М.: «Диалектика», 2012.- 272 с.
- Половко А.М., Гуров С.В. Основы теории надежности Издательство. BHV. Петербург. 2006
- Яхьяев Н. Я., Кораблин А. В. Основы теории надежности и диагностика. – Академия, 2009г.
- А.С. Камкин. Введение в формальные методы верификации программ. ИСП РАН, 2017
Қосымша әдебиеттер
- Балыков Е., Царёв В. Тестирование программных средств. RSDN Magazine №4-2006
- Левинсон Д. Тестирование ПО с помощью Visual Studio 2010. ЭКОМ Паблишерз, 2012
- "Основы программной инженерии" IEEE Guide to SWEBOK® 2004
- Синицын С. В. Верификация программного обеспечения / С. В.Синицын, Н.Ю.Налютин. — М.: БИНОМ, 2008. — 368 с.