1
Можно ли гарантировать остановку программы на любом тесте?
|
|
|
в общем случае нет
|
|
|
возможно в частных случаях
|
|
|
задача в общей постановке алгоритмически неразрешима
|
Сколько тестов потребуется для проверки программы, реализующей задержку на неопределенное количество тактов?
|
|
|
один
|
|
|
неопределенное количество
|
|
|
зависит от критерия достаточности проверок
|
Какие существуют способы получения эталонных значений теста?
|
|
|
предсказание ожидаемого результата
|
|
|
независимое вычисление результата
|
|
|
подстановка в тест результата вычисления тестируемой программы
|
Что такое путь в УГП?
|
|
|
последовательность вершин и дуг УГП с фиксированными начальной и конечной вершиной
|
|
|
последовательность ветвей УГП с фиксированными начальной вершиной первой ветви и конечной вершиной последней ветви пути
|
|
|
множество связанных дуг УГП
|
Какие существуют методы анализа и локализации ошибки?
|
|
|
выполнение программы в уме
|
|
|
пошаговое выполнение
|
|
|
метод контрольных точек и анализа трасс
|
Какие подходы используются для обоснования истинности программ?
|
|
|
доказательство программы 234
|
|
|
эксперимент над программой 3
|
|
|
формальный и интерпретационный 1234
|
|
|
использование аналогий 34
|
Является ли программа аналогом математической формулы?
|
|
|
да
|
|
|
нет
|
|
|
математические формулы и программы не сводятся друг к другу
|
Каковы особенности разработки тестового набора?
|
|
|
определение областей эквивалентности входных параметров
|
|
|
анализ покрытия тестами всех возможных случаев поведения
|
|
|
проверка граничных значений
|
Какие существуют фазы процесса тестирования?
|
|
|
разработка тестового набора
|
|
|
прогон программы на тестовом наборе
|
|
|
анализ результатов тестирования
|
|
|
доказательство правильности программы
|
Что такое ветвь УГП?
|
|
|
последовательность вершин и дуг УГП с фиксированными начальной и конечной вершиной, которые кодируют либо условные операторы, либо первый и последний операторы УГП соответственно
|
|
|
часть пути, в котором все внутренние вершины кодируют линейные операторы
|
|
|
начальная и конечная вершина пути
|
Отметьте верные утверждения:
|
|
|
нереализуемый путь недоступен при корректном исполнении программы
|
|
|
нереализуемый путь доступен при реализации недопустимых состояний переменных программы
|
|
|
нереализуемый путь доступен при сбое
|
Зачем нужен Log-файл?
|
|
|
для изучения результатов тестирования в режиме on-line
|
|
|
для фиксации результатов прогона test-suite
|
|
|
для записи комментариев после прогона тестов
|
Возможно ли тестирование программы на всех допустимых значениях параметров?
|
|
|
никогда
|
|
|
да, всегда
|
|
|
возможно в отдельных случаях
|
Какова мощность множества тестов, формально необходимая для тестирования операции в машине с 32-разрядным машинным словом?
|
|
|
232
|
|
|
49
|
|
|
264
|
Зачем нужна спецификация тестирования?
|
|
|
для формирования команды тестировщиков
|
|
|
для разработки тестового набора
|
|
|
для понимания смысла программы
|
Отметьте верные утверждения
|
|
|
тестирование – процесс поиска ошибок
|
|
|
в фазу тестирования входят поиски и исправление ошибок
|
|
|
отладка – процесс локализации и исправления ошибок
|
Что такое управляющий граф программы (УГП)?
|
|
|
множество операторов программы.
|
|
|
граф, вершины которого кодируют операторы программы, а дуги - управления (порядок исполнения) операторов.
|
|
|
множество операторов управления
|
Скачать 0.63 Mb.