Визуальный контроль - проверка текстов без использования компьютера:
Восстанавливаемость программного средства - свойство осуществлять требуемое преобразование информации при сохранении выходных решений программы в пределах допусков, установленных спецификацией:
Генераторы тестов (automatic unit test) случайным образом генерируют данные:
Динамический контроль программы - проверка правильности программы при ее выполнении на компьютере, то есть тестирование:
Комплексная отладка означает последовательное раздельное тестирование различных частей программ, входящих в программное средство, с поиском и исправлением в них фиксируемых при тестировании ошибок:
Контроль структурированности текста подпрограммы - проверка выполнения соглашений и ограничений структурного программирования:
Отладка программного средства - процесс выполнения его программ на некотором наборе данных, для которого заранее известен результат применения или известны правила поведения этих программ:
При нисходящем тестировании изолированно тестируется головной модуль или группа модулей головного ядра:
При тестировании "белого ящика" проверяется корректность построения всех элементов программы и правильность их взаимодействия друг с другом:
При тестировании "черного ящика" рассматриваются системные характеристики программ, игнорируется их внутренняя логическая структура:
Программа или логически связанная совокупность программ на носителях данных, снабженная программной документацией, называется программным средством:
Продуктом технологии программирования является программное средство, содержащее программы, выполняющие требуемые функции:
Различают два вида тестирования программных средств: функциональное тестирование и структурное тестирование:
Различают два типа тестирования программных средств: восходящее и нисходящее:
Тестирование "черного ящика" применяют на ранних стадиях тестирования:
Тестирование может показать отсутствие дефектов:
Тестирование осуществляется путем исполнения тестов:
Тестирование программного средства - деятельность, направленная на обнаружение и исправление ошибок в программном средстве с использованием процессов выполнения его программ:
Экспериментальные методы отладки базируются на анализе выходных данных для тестовых прогонов: