RU

Программалық қамтаманы тестілеу және верификациялау

  • Пәннің мақсаты: дұрыс және бас тартуға төзімді программалық жүйелерді құру үшін программалық қамтаманы тестілеу және верификациялау процестерін жүзеге асыру қабілетін қалыптастырудан тұрады. Пән бойынша келесі аспектілер қарастырылады: Пәнге кіріспе. Тізбектелген жүйелерді модельдеуді ауысатын жүйелермен белгі ретінде (Крипке) қарастыру.
  • Образовательная программа 6B06104 Компьютерлік ғылымдар
  • ВУЗ әл-Фараби атындағы Қазақ Ұлттық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 7
Top