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

       

Методы тестирования программ


Тестирование – это способ семантической отладки (проверки) программы, заключающийся  в обработке  последовательности различных контрольных наборов тестов, для которых известен результат. Тестирование основывается на выполнении программы и получении результатов выполнения  тестов  [1–7, 21, 22]. 

Тесты подбираются так, чтобы они охватили как можно больше  различных типов ситуаций обработки элементов программы.  Более слабое требование –  выполнение хотя бы один раз каждого разветвления программы в  определенном  направлении.

Исторически первой разновидностью тестирования была отладка.

 Отладка

означает проверку описания программного объекта в ЯП  на наличие в нем ошибок и последующее их устранение.  Ошибки обнаруживаются компиляторами при  проверки  синтаксической  правильности. После этого выполняется  верификация для установлению правильности кода и  валидация на проверку соответствия продукта заданным требованиям.

 Следующим шагом является функциональное тестирование для проверки реализованных функций  в соответствии с их спецификацией. Создаются          функциональные тесты на основе  внешних спецификаций функций и проектной информации на  этапов ЖЦ.  Тестирование по внешним спецификациям проводится с учетом  требований, сформулированных на  этапе анализа  предметной области. Методы функционального тестирования подразделяются на статические и  динамические.       



Содержание раздела