Дворянкин А.М., Ерофеев А.А., Аникин А.В. Основные методы тестирования программного обеспечения

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