Формула для функции f, полученной суперпозицией функций f1, f2. fn – выражение, описывающее эту суперпозицию.
Если аналог f1,f2. fn – операторы языка программирования, то их формула – программа.
Существует два метода обоснования истинности формул:
1. Формальный подход или доказательство применяется, когда из исходных формул-аксиом с помощью формальных процедур (правил вывода) выводятся искомые формулы и утверждения (теоремы). Вывод осуществляется путем перехода от одних формул к другим по строгим правилам, которые позволяют свести процедуру перехода от формулы к формуле к последовательности текстовых подстановок:
A**3 = A*A*AA*A*A = A -> R, A*R -> R, A*R -> R
Преимущество формального подхода заключается в том, что с его помощью удается избегать обращений к бесконечной области значений и на каждом шаге доказательства оперировать только конечным множеством символов.
2. Интерпретационный подход применяется, когда осуществляется подстановка констант в формулы, а затем интерпретация формул как осмысленных утверждений в элементах множеств конкретных значений. Истинность интерпретируемых формул проверяется на конечных множествах возможных значений. Сложность подхода состоит в том, что на конечных множествах комбинации возможных значений для реализации исчерпывающей проверки могут оказаться достаточно велики.
1.2. Различие методов математики и естествознания в связи со спецификой их предметов.
Интерпретационный подход используется при экспериментальной проверке соответствия программы своей спецификации
Применение интерпретационного подхода в форме экспериментов над исполняемой программой составляет суть отладки и тестирования.
Отладка (debug, debugging)– процесс поиска, локализации и исправления ошибок в программе [IEEE Std.610-12.1990].
Термин «отладка» в отечественной литературе используется двояко: для обозначения активности по поиску ошибок (собственно тестирование), по нахождению причин их появления и исправлению, или активности по локализации и исправлению ошибок.
Тестирование обеспечивает выявление (констатацию наличия) фактов расхождений с требованиями (ошибок).
Как правило, на фазе тестирования осуществляется и исправление идентифицированных ошибок, включающее локализацию ошибок, нахождение причин ошибок и соответствующую корректировку программы тестируемого приложения (Application Under Testing (AUT) или Implementation Under Testing (IUT)).
Если программа не содержит синтаксических ошибок (прошла трансляцию) и может быть выполнена на компьютере, она обязательно вычисляет какую-либо функцию, осуществляющую отображение входных данных в выходные. Это означает, что компьютер на своих ресурсах доопределяет частично определенную программой функцию до тотальной определенности. Следовательно, судить о правильности или неправильности результатов выполнения программы можно, только сравнивая спецификацию желаемой функции с результатами ее вычисления, что и осуществляется в процессе тестирования.
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
1.1. Различие аналитического и синтетического, априорного и апостериорного в системе точного знания.
Источник: studopedia.ru
ответы интуит 4 экзамен
один
неопределенное количество
зависит от критерия достаточности проверок
Какие существуют способы получения эталонных значений теста?
предсказание ожидаемого результата
независимое вычисление результата
подстановка в тест результата вычисления тестируемой программы
Что такое путь в УГП?
последовательность вершин и дуг УГП с фиксированными начальной и конечной вершиной
последовательность ветвей УГП с фиксированными начальной вершиной первой ветви и конечной вершиной последней ветви пути
множество связанных дуг УГП
Какие существуют методы анализа и локализации ошибки?
выполнение программы в уме
метод контрольных точек и анализа трасс
Какие подходы используются для обоснования истинности программ?
доказательство программы 234
эксперимент над программой 3
формальный и интерпретационный 1234
использование аналогий 34
Является ли программа аналогом математической формулы?
да
нет
математические формулы и программы не сводятся друг к другу
Каковы особенности разработки тестового набора?
определение областей эквивалентности входных параметров
анализ покрытия тестами всех возможных случаев поведения
проверка граничных значений
Какие существуют фазы процесса тестирования?
разработка тестового набора
прогон программы на тестовом наборе
анализ результатов тестирования
доказательство правильности программы
Что такое ветвь УГП?
последовательность вершин и дуг УГП с фиксированными начальной и конечной вершиной, которые кодируют либо условные операторы, либо первый и последний операторы УГП соответственно
часть пути, в котором все внутренние вершины кодируют линейные операторы
начальная и конечная вершина пути
Отметьте верные утверждения:
нереализуемый путь недоступен при корректном исполнении программы
нереализуемый путь доступен при реализации недопустимых состояний переменных программы
нереализуемый путь доступен при сбое
Зачем нужен Log-файл?
для изучения результатов тестирования в режиме on-line
для фиксации результатов прогона test-suite
для записи комментариев после прогона тестов
Возможно ли тестирование программы на всех допустимых значениях параметров?
возможно в отдельных случаях
Какова мощность множества тестов, формально необходимая для тестирования операции в машине с 32-разрядным машинным словом?
2 32
4 9
2 64
Зачем нужна спецификация тестирования?
для формирования команды тестировщиков
для разработки тестового набора
для понимания смысла программы
Отметьте верные утверждения
тестирование – процесс поиска ошибок
в фазу тестирования входят поиски и исправление ошибок
отладка – процесс локализации и исправления ошибок
Что такое управляющий граф программы (УГП)?
множество операторов программы.
граф, вершины которого кодируют операторы программы, а дуги — управления (порядок исполнения) операторов.
множество операторов управления
Какие предъявляются требования к идеальному критерию тестирования?
Какая оценка мощности покрытия для следующих пар критериев правильна?
C0
C1
C1 < C2
Какие существуют разновидности функциональных критериев?
тестирование пунктов спецификации
тестирование классов входных данных
тестирование классов выходных данных
Назовите недостатки функциональных критериев.
не проверяется соответствие со спецификацией
не проверяются ошибки, требования к которым не зафиксированы в спецификации
не проверяются ошибки в структурах данных, требования к которым не зафиксированы в спецификации
Какие существуют разновидности структурных критериев?
критерий тестирования команд
критерий тестирования ветвей
критерий тестирования путей
критерий тестирования циклов
Какие классы частных критериев тестируемости известны?
Назовите недостатки структурных критериев.
не проверяется соответствие со спецификацией
не проверяется соответствие со спецификацией, не зафиксированное в структуре программы
не проверяются ошибки в структурах данных
Назовите полный и надежный критерий для нетривиальных классов программ.
такого критерия не существует
сценарный критерий
критерий «черного ящика»
Назовите критерии стохастического тестирования.
cтохастический метод Хи-квадрат
cтохастический метод Стьюдента
метод оценки скорости выявления ошибок
метод особых состояний
Каковы особенности плоской модели УГП?
не выделяются структурные компоненты в виде отдельных подграфов УГП3
для тестирования требуется осуществить весь перебор трасс 12
оценка оттестированности не зависит от ранее собранных оценок оттестированности УГП компонентов 13
Какая оценка мощности покрытия для следующих пар критериев правильна?
тестирование пунктов спецификаций
тестирование функций
тестирование пунктов спецификаций > Тестирование классов входных данных
Какая информация должна собираться при тестировании для применения метода оценки скорости выявления ошибок?
интервалы между моментами обнаружения ошибок
оценка плотности ошибок в проблемной области
данные из исторической базы данных проектов
Чем отличается оценка оттестированности проекта от оценки для модуля?
оценка проекта интегрирует оценки оттестированности модулей
оценка проекта может вычисляться инкрементально
в результате получаем наихудшую оценку оттестированности
в результате получаем наилучшую оценку оттестированности
Перечислите метрики оценки оттестированности программного проекта?
сложность тестирования программы по заданному критерию
остаточная сложность тестирования программы
оценка степени оттестированности программы по заданному критерию
Какая информация должна собираться при тестировании для применения метода оценки скорости выявления ошибок?
интервалы между моментами обнаружения ошибок
оценка плотности ошибок в проблемной области
данные из исторической базы данных проектов
Перечислите разновидности функциональных критериев.
тестирование пунктов спецификации
тестирование классов входных данных
тестирование классов выходных данных
Какой подход используется в методе мутационного тестирования?
оценка числа ошибок в программе на основе искусственно внесенных мелких ошибок
создание программ-мутантов с функциональными дефектами
создание программ-мутантов на основе изменения модульной структуры основной программы
Каковы особенности иерархической модели УГП?
УГП структурных компонентов выделяются и выносятся из общего УГП проекта
для тестирования требуется осуществить перебор трасс упрощенного УГП
оценка оттестированности зависит от ранее собранных оценок оттестированности УГП компонентов
На основе каких принципов строятся тесты для модульного тестирования?
анализ потоков управления модуля
анализ потоков данных модуля
анализ покрытия в соответствии с заданным критерием С
Каковы фазы процесса построения тестовых путей?
выбор тестовых путей
генерация тестов, соответствующих выбранным тестовым путям
Каковы особенности восходящего тестирования?
минимизация разработки заглушек
запаздывание в проверке функциональности реализуемого приложения
необходимость разработки среды управления очередностью вызовов модулей
Каково выражение для оценки сложности интеграционного тестирования?
V(P, C1) = V(Modi, C1) — kin + kext
(P, C1) = V(Modi, C1)
Какие существуют разновидности тестирования?
Источник: studfile.net
Итоговый тест по дисциплине «Поддержка и тестирование программных модулей»
Внимание! Все тесты в этом разделе разработаны пользователями сайта для собственного использования. Администрация сайта не проверяет возможные ошибки, которые могут встретиться в тестах.