Тестирование программного обеспечения
Автор(ы)
Матросова А.Ю.
Останин С.А.
Послевузовское
Учащийся
Телефон: (3822)529-494
Факс: (3822)529-579
E-mail: office@ido.tsu.ru
УМК содержит: электронное учебное пособие, тестовые задания, глоссарий, список литературы и методические рекомендации.
В учебном пособии рассматриваются математические методы тестирования, основанные на формальных моделях, такие как методы "черного ящика", "белого ящика" и метод верификации автоматных программ Model checking.
Учебно-методический комплекс (УМК) "Тестирование программного обеспечения" предназначен для студентов факультетов прикладной математики и кибернетики, аспирантов, научных сотрудников и специалистов в области разработки и тестирования программного обеспечения.