Процессы поддержки заданного уровня качества ПО. Аттестация и верификация.

В процессе разработки ПО выделяют два процесса поддержки заданного качества системы:

· Верификация. Отвечает на вопрос, правильно ли создана система.

· Аттестация. Отвечает на вопрос, правильно ли работает система.

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

· Инспектирование ПО. Анализ и проверка различных представлений системы: документации, требований, архитектурных решений, исходного кода программ.

· Тестирование ПО. Запуск исполняемого кода с тестовыми данными и исследование выходных данных и прочих рабочих характеристик для проверки правильности работы системы.

46. Тестирование дефектов. Процесс тестирования. Тестовые сценарии.

Тестирование дефектов проводится для обнаружения несоответствий м/у программой и её спецификацией, которые обусловлены ошибками или дефектами в программах.

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

При тестировании дефектов необходимо разработать такой тест, который вызывает некорректную работу программы и, следовательно, выявляет дефект. Тестирование дефектов демонстрирует наличие, а не отсутствие дефектов.

Тестовые сценарии – это спецификации входных тестовых данных и ожидаемых выходных данных а также описание процедуры тестирования.

Полное тестирование, когда проверяются все возможные последовательности выполнения программы, нереально. Поэтому тестирование применяется на некотором подмножестве возможных тестов:

47. Функциональное тестирование ПО. Области эквивалентности.