RUSSIAN

Основные методы тестирования программного обеспечения

By Ерофеев А.А. , Аникин А.В. , Дворянкин А.М.

Book information

Publisher
ВолгГТУ
Year
2015
Language
russian
Format
PDF
Filesize
25 MB (26731809 bytes)
Pages
\122
Time added
2017-07-11 16:53:22

Description

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

Similar books