Испытания ПО при сертификации
Тестирование ПО. Испытания ПО при сертификации
Детерминированное тестирование при проектировании. Детерминированное испытание при сертификации
Принципы и задачи детерминированного тестирования
Основной задачей детерминированного тестирования является установление факта работоспособности программ и соответствие их техническому заданию, а также выявление и устранение ошибок и доведение характеристик программ до уровня требований, заданных заказчиком.
Диагностирование производится автоматическими человеко-машинными системами, в которых:
- на долю человека приходится анализирующая роль в обнаружении ошибок, их анализ и принятие решений на их корректировку;
- вычислительные системы обеспечивают исполнение программы, управление заданиями и тестами, селективное информирование о ходе тестирования.
При детерминированном тестировании получаются результаты при фиксированном наборе исходных данных, а так же сравнение этих значений с эталонными. Диапазон варьирования исходных данных и число вариантов сочетания переменных определяют достоверность отладки. Сравнение результатов исполнения с эталонами, как правило, происходит автоматически. Если результат отличается от эталона, определяется место и тип ошибки.
В зависимости от используемой при тестировании информации различают два метода:
- Метод проверки по исходным данным и результатам.
Программу рассматривается, как чёрный ящик и после установления факта неработоспособности на каком-то наборе используется информация о структуре программы, т.е. от общего к частному с надеждой, что ошибки нет.
Рекомендуемые материалы
2. Метод с учётом промежуточных результатов.
Вместе с этой лекцией читают "Управление локальными сетями".
Анализируются логические маршруты исполнения программы и промежуточные результаты в точках маршрута. Проверка программы осуществляется походу её исполнения от частного к общему с уверенностью, что ошибка есть. Метод – белый ящик.
«Серый ящик» – частично структура известна, а частично – нет.
Метод белого ящика более прост при локализации ошибок, но требует больше времени, чем метод проверки по окончательным результатам.
Процесс отладки программы при детерминированном тестировании подразделяется на следующие этапы:
- планирование отладки;
- составление тестов и задач на отладку и исполнение программы;
- информирование о результатах по задачам теста;
- анализ результатов, обнаружение и локализация ошибок;
- устранение ошибок и корректировка исходного текста программы.
Детерминированное тестирование включает:
- выбор последовательности контрольных точек, входы и выходы из программы;
- выбор наборов значений исходных данных;
- выбираются промежуточные точки контроля и перечень переменных, подлежащих контролю в этих точках, маршруты исполнения программы.
Порядок тестирования может быть:
- безусловный, т.е. независимый от результатов исполнения предыдущих наборов;
- условным.