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