Тестирование программного обеспечения
Технология программирования
  • формат pdf
  • размер 25.49 МБ
  • добавлен 08 августа 2016 г.
Дворянкин А.М., Ерофеев А.А., Аникин А.В. Основные методы тестирования программного обеспечения
Учебное пособие. — Волгоград: ВолгГТУ, 2015. — 120 с. — ISBN 978-5-9948-1853-4
Для проверки правильности программ и систем используются следующие основные направления обеспечения правильности программного обеспечения:
формальное доказательство корректности программ;
тестирование;
организационные методы проверки правильности программ.
В пособии кратко описываются эти направления. Основное внимание уделяется процессу тестирования методом черного ящика. Приводится пример выполнения курсовой (семестровой) работы по теме «Разработка программы и методики испытаний, проведение испытаний программного средства».
Предназначено для магистрантов, обучающихся по направлению 09.04.04 «Программная инженерия» по программе «Разработка программно-информационных систем».
Похожие разделы