discipline Бағдарламалық қамтамасыз етуді тестілеу және верификациялау в Абай атындағы Қазақ ұлттық педагогикалық университеті

Пәннің мақсаты дұрыс және бас тартуға төзімді бағдарламалық жүйелерді құру үшін бағдарламалық қамтамасыз етуді тестілеу және верификациялау процестерін жүзеге асыру қабілетін қалыптастырудан тұрады.Пән келесі тақырыптарды зерттеуге бағытталған: тізбекті жүйелерді өтпелі жүйелермен (Крипке құрылымы) белгі ретінде модельдеу.

Образовательная программа 6B06101 Информатика

ВУЗ Абай атындағы Қазақ ұлттық педагогикалық университеті

Несиелер 5

Селективті тәртіп

Оқу жылы 1

Семестр 2