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

  • Курс күрделі және істен шығуға төзімді бағдарламалық жүйелерді әзірлеу кезінде қолданылатын бағдарламалық қамтамасыз етуді верификациялаудың қазіргі заманғы технологиялары туралы түсінік береді. Курс бағдарламалық жүйелерді тестілеу әдістеріне негізделген. Ол тест ортасын құру, тест жүйесін жоспарлау, тест тапсырушы жүйенің бағдарламалық кодының ақауларын талдау және анықтау, интеграциялық және жүйелік тестілеу, пайдаланушы интерфейстерін тестілеудің жалпы аспектілерін қамтиды.
  • Несиелер 7
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 2
Top