5.7. Классификация тестов

По условиям их поведения тесты могут быть класси­фицированы следующим образом:

Доказательство (proof) - попытки найти ошибки в программе путем доказательств на основе математических теорем о правиль­ности программы, безотносительно к внешней программной среде.

Верификация программы (program verification) - попытка найти ошибки, выполняя программу в тестовой или моделируемой среде.

Испытание (validation) - попытка найти ошибки, выполняя программу в заданной программной среде.

Приемо-сдаточные испытания - проверка пригодности про­граммы для эксплуатации; такие испытания обычно проводят под контролем поставщика системы.

По назначению тесты классифицируются:

тестирование модуля (автономное тестирование) (module testing) — контроль, отдельного модуля в изолированной среде (например, с помощью ведущей программы), инспекция текста модуля на сес­сии программистов, которая иногда дополняется математическим доказательством правильности модуля;

тестирование сопряжений (integration testing) - контроль со­пряжений между частями программной системы, как между ком­понентами в комплексе, так и между модулями отдельного компо­нента (например, у заглушки);

комплексное тестирование (system testing) — контроль и испы­тание системы по отношению к исходным целям. Осуществляется с целью проверки правильной совместной работы составных час­тей программы. При комплексном тестировании особое внимание обычно уделяется взаимодействию компонентов. Комплексное тес­тирование является процессом контроля, если оно выполняется в условиях моделируемой среды, и процессом испытания при вы­полнении в реальной среде;

системное тестирование - при системном тестировании вся система в целом обычно рассматривается как некоторый «черный ящик»; поведение этой системы исследуют, не вникая в подробно­сти отдельных ее компонентов и взаимодействий между ними;

тестирование приемлемости (acceptance testing) - проверка соответствия программы требованиям пользователя.