RU

Бағдарламаларды талдау және верификациялау

  • Пәннің мақсаты-магистранттарды бағдарламалық жасақтаманың дұрыстығын, қауіпсіздігі мен сенімділігін тексеру әдістері мен құралдарына үйрету. Пән бағдарламаларды статикалық және динамикалық талдаудың теориялық негіздері мен практикалық тәсілдерін, сондай-ақ формальды тексеру әдістерін қамтиды. Курсты аяқтағаннан кейін магистрант бағдарламалық жасақтама модельдерін тексерудің қолданыстағы тәсілдерін біледі. Бағдарламалық жасақтаманы тексеруді біледі. Бағдарламалық жасақтама модельдерін тексерудің қолданыстағы тәсілдерін түсіну дағдыларын меңгерген.
  • Образовательная программа 7M06150 Есептеу техникасы және бағдарламалармен қамтамасыз ету
  • ВУЗ Қорқыт Ата атындағы Қызылорда университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top