Название: Основные методы тестирования программного обеспечения
Автор: Дворянкин А.М., Ерофеев А.А., Аникин А.В.
Издательство: Волгоград: ВолгГТУ
Год: 2015
Формат: pdf
Страниц: 120
Размер: 25 mb
Язык: Русский

Для проверки правильности программ и систем используются следующие основные направления обеспечения правильности программного обеспечения:
формальное доказательство корректности программ;
тестирование;
организационные методы проверки правильности программ.
В пособии кратко описываются эти направления. Основное внимание уделяется процессу тестирования методом черного ящика. Приводится пример выполнения курсовой (семестровой) работы по теме «Разработка программы и методики испытаний, проведение испытаний программного средства».