Бағдарламаларды верификациялау және талдау
Сипаттама: Курс күрделі және істен шығуға төзімді бағдарламалық жүйелерді әзірлеу кезінде қолданылатын бағдарламалық қамтамасыз етуді верификациялаудың қазіргі заманғы технологиялары туралы түсінік береді. Курс бағдарламалық жүйелерді тестілеу әдістеріне негізделген. Ол тест ортасын құру, тест жүйесін жоспарлау, тест тапсырушы жүйенің бағдарламалық кодының ақауларын талдау және анықтау, интеграциялық және жүйелік тестілеу, пайдаланушы интерфейстерін тестілеудің жалпы аспектілерін қамтиды.
Кредиттер саны: 7
Пререквизиты:
- Ақпараттық жүйелердің бағдарламалық құралдары
Пәннің еңбек сыйымдылығы:
| Жұмыс түрлері | сағат |
|---|---|
| Дәрістер | 30 |
| Практикалық жұмыстар | |
| Зертханалық жұмыстар | 30 |
| СӨЖО | 60 |
| СӨЖ | 90 |
| Қорытынды бақылау нысаны | емтихан |
| Қорытынды бақылауды жүргізу нысаны |
Компонент: Таңдау бойынша компонент
Цикл: Кәсіптік пәндер
Мақсат
- бағдарламалық қамтамасыз етуді тексерудің негізгі принциптері мен әдістерін оқып үйрену; бағдарламаларды тексеру және талдау әдістерін практикалық қолдану үшін қажетті дағдыларды алу
Міндет
- бағдарламалық қамтамасыз етуді тексеру және талдау процесі туралы негізгі білімді алу
- бағдарламалық жасақтамаға қойылатын талаптарды өзін-өзі сәйкестендіру, әзірлеу, құжаттау, өзгерту және жоспарлау бойынша практикалық дағдыларды дамыту
Оқыту нәтижесі: білу және түсіну
- тұжырымдамалар мен идеялар бағдарламаны тексеру әдістері
Оқыту нәтижесі: білім мен ұғымды қолдану
- АТ жобаларын іске асыру барысында мүдделі тараптардың талаптарын жинау, талдау, тексеру және құжаттау процестерін ұйымдастыра білу;
- талаптарды әзірлеу және талдау үшін қолданылатын әдістер мен модельдерге иелік ету
Оқыту нәтижесі: талқылай білуді қалыптастыру
- әлеуметтік, кәсіби және этикалық ұстанымдарды ескере отырып, өздерінің кәсіби қызметінің мәні мен салдары туралы пікірлер қалыптастырады
Оқыту нәтижесі: коммуникативтік қабілеттіліктер
- ІТ-жобалар шеңберінде іскерлік өзара әрекеттесу үшін тұлғааралық және топтық қарым-қатынас дағдылары
Оқыту нәтижесі: Оқу дағдылары немесе сабаққа қабілеттілігі
- кәсіби және тұлғалық дамуға, ақпараттық технологиялар саласындағы біліктілікті арттыруға ықпал ететін оқу дағдыларын дамыту
