Основные методы тестирования программного обеспечения
Дворянкин А.М., Ерофеев А.А., Аникин А.В.
Для проверки правильности программ и систем используются следующие основные направления обеспечения правильности программного обеспечения:
формальное доказательство корректности программ
тестирование
организационные методы проверки правильности программ.
В пособии кратко описываются эти направления. Основное внимание уделяется процессу тестирования методом черного ящика. Приводится пример выполнения курсовой (семестровой) работы по теме «Разработка программы и методики испытаний, проведение испытаний программного средства».
формальное доказательство корректности программ
тестирование
организационные методы проверки правильности программ.
В пособии кратко описываются эти направления. Основное внимание уделяется процессу тестирования методом черного ящика. Приводится пример выполнения курсовой (семестровой) работы по теме «Разработка программы и методики испытаний, проведение испытаний программного средства».
سال:
2015
ناشر کتب:
ВолгГТУ
زبان:
russian
صفحات:
122
فائل:
PDF, 25.49 MB
IPFS:
,
russian, 2015
Litres
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.fm پر رابطہ کریں۔
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد 
