_ программного средства — свойство, характеризующее возможность приспосабливаться к обнаружению ошибок и их устранению.
(*ответ*) Восстанавливаемость
Эффективность
Мобильность
Корректность
_ - аналитическое доказательство корректности программного средства.
(*ответ*) Верификация
Спецификация
Унификация
Аттестация
_ отладка программного средства (ПС) означает последовательное раздельное тестирование различных частей программ, входящих в ПС, с поиском и исправлением в них фиксируемых при тестировании ошибок.
(*ответ*) Автономная
Комплексная
Функциональная
Диаграммная
_ ошибки в программе относят к группе самых простых, так как эти ошибки сопровождаются развернутым комментарием с указанием их местоположения.
(*ответ*) Синтаксические
Лексические
Логические
Семантические
_ позволяет получить набор тестов, проверяющих поведение класса и тех классов, которые сотрудничают с ним.
(*ответ*) Тестирование на основе состояний
Тестирование на основе сценариев
Стохастическое тестирование
Тестирование разбиений
_ называют процесс определения оператора программы, выполнение которого вызвало нарушение нормального вычислительного процесса.
(*ответ*) Локализацией
Идентификацией
Спецификацией
Аутентификацией
Виды отладки программных средств: _.
(*ответ*) автономная и комплексная
синхронная и асинхронная
симметричная и асимметричная
последовательная и параллельная
Выделяют два основных вида тестирования программ: _.
(*ответ*) функциональное и структурное
последовательное и параллельное
симметричное и асимметричное
открытое и закрытое
Выполняются выявление свойств данных программы, фиксация их в таблицах, а также простая проверка корректности использования данных на этапе _ анализа.
(*ответ*) семантического
синтаксического
лексического
загрузочного
Главным результатом _ анализа является информация об ошибках в выражениях, операторах и описаниях программы.
(*ответ*) синтаксического
лексического
семантического
загрузочного
Для перехвата и обработки аппаратно и программно фиксируемых ошибок в некоторых языках программирования, например Delphi Pascal, C++ Java, предусмотрены средства обработки
(*ответ*) исключений
макросов
формальных параметров
вызовов подпрограмм
Для уточнения природы ошибки возможен анализ _ кодов, флагов и представления программы и значений памяти в 16-ричном виде.
(*ответ*) машинных
системных
двоичных
текстовых