RU

Бағдарламалық өнімдерді тексеру

  • Оқытылатын мәселелер: семантика теориясы және бағдарламаларды верификациялау; есептеу процестерінің модельдері; модельдерді верификациялау және автоматтар теориясы; циклдар, стратегиялар және метрикалар, тестілеу критерийлері; тестілеудің негізгі әдістері мен технологиялары. Қалыптастырылатын құзыреттер: бағдарламалық өнімдерді верификациялаудың әдістері мен тәсілдері туралы білім, верификация әдістеріне тән артықшылықтар мен шектеулерді жариялау; дұрыс және сенімді бағдарламаларды құру проблемаларына бағытталған бағдарламалық қамтамасыз етудің сапасын қамтамасыз ету саласындағы Білім; зерттеулер жүргізу үшін бағдарламалық қамтамасыз етуді верификациялаудың теориялық тәсілдерін қалыптастыру дағдылары.
  • Образовательная программа 7M06103 Информатика және компьютерлік ғылымдар
  • ВУЗ «Мирас» университеті
  • Несиелер 6
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top