RU

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

  • Осалдықтар бойынша бағдарламалық қамтамасыз етудің бастапқы кодының принциптік негіздері зерттеледі. Бағдарламалық жасақтаманың кемшіліктерін болдырмауға және анықтауға арналған әдістер мен құралдар, модельдеу, кодтық шолулар, бұлыңғырлық, статикалық және динамикалық кодты талдау, бағдарламаны тексеру және кодтың бұзылуы зерттеледі. Сенімділік, қол жетімділік, қауіпсіздік, ақауларға төзімділік секілді бес атрибутты қамтитын сенімді бағдарламалық жүйелерді ресми құру тәсілдерін зерттеуді.
  • Образовательная программа 7M06105 Компьютер ғылымдары және инженерия
  • ВУЗ Astana IT University
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 3
Top