Математические методы моделирования программного обеспечения – ответы на тесты Росдистант — часть 1

• Математические методы моделирования программного обеспечения
• Лекция 1.1. Математические модели алгоритмов программного обеспечения
• Промежуточный тест 1

Класс языков – это множество языков, допустимых недетерминированной машиной Тьюринга с полиномиальным ограничением пространства, обозначается

NPSPACE

NSPACE

NTIME

DTIME

Машина Тьюринга представляет собой

автомат с конечным числом состояний и ограниченной памятью, представленной конечной лентой

автомат с конечным числом состояний и неограниченной памятью, представленной бесконечной лентой

автомат с бесконечным числом состояний и неограниченной памятью, представленной бесконечной лентой

автомат с бесконечным числом состояний и ограниченной памятью, представленной конечной лентой

Что характерно для детерминированной машины Тьюринга?

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

Комбинация текущего состояния автомата и символа на ленте допускает только один переход

Для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

Что характерно для недетерминированной машины Тьюринга?

Комбинация текущего состояния автомата и символа на ленте допускает только один переход

Для каждого входного слова имеется один путь, по которому может развиваться вычисление

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Сложность алгоритма О(1) означает, что
Выберите один ответ:

алгоритм имеет экспоненциальную сложность

время работы алгоритма линейно зависит от длины входного слова

время работы алгоритма не зависит от длины входного слова

алгоритм имеет полиноминальную сложность

Укажите класс языков, принимаемых детерминированными машинами Тьюринга, использующих не более f(n) ячеек памяти на рабочих лентах.

DTIME(f(n))

DSPACE(f(n))

NSPACE(f(n))

NTIME(f(n))

Что характерно для недетерминированной машины Тьюринга?

Комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

Для каждого входного слова имеется один путь, по которому может развиваться вычисление

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Для детерминированной машины Тьюринга характерно, что

комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

комбинация текущего состояния автомата и символа на ленте допускает только один переход

для каждого входного слова имеется один путь, по которому может развиваться вычисление

Для недетерминированной машины Тьюринга характерно, что

для каждого входного слова имеется один путь, по которому может развиваться вычисление

для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

комбинация текущего состояния автомата и символа на ленте допускает только один переход

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Для недетерминированной машины Тьюринга характерно, что

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

комбинация текущего состояния автомата и символа на ленте допускает только один переход

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Для недетерминированной машины Тьюринга характерно, что

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано НЕ более одного правила

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

Для детерминированной машины Тьюринга характерно, что

комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

комбинация текущего состояния автомата и символа на ленте допускает только один переход

Класс NSPACE(f(n)) определяет класс языков

принимаемых детерминированными машинами Тьюринга, использующих не более f(n) ячеек памяти на рабочих лентах

принимаемых детерминированными машинами Тьюринга, заканчивающими свою работу за время, не превосходящее f(n)

принимаемых недетерминированными машинами Тьюринга, заканчивающими свою работу за время, не превосходящее f(n)

принимаемых недетерминированными машинами Тьюринга, использующих не более f(n) ячеек памяти на рабочих лентах

Что характерно для детерминированной машины Тьюринга?

Для каждого входного слова имеется один путь, по которому может развиваться вычисление

Для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Комбинация текущего состояния автомата и символа на ленте допускает только один переход

Класс языков – это множество языков, допустимых детерминированной машиной Тьюринга с полиномиальным ограничением пространства, обозначается

DTIME

NTIME

NSPACE

PSPACE

Алгоритм, время работы которого не зависит от длины n входного слова, имеет сложность

О(n^c), где с – константа

О(c^n), где с – константа

О(1)

О(n)

Класс DTIME(f(n)) определяет класс языков

принимаемых недетерминированными машинами Тьюринга, заканчивающими свою работу за время, не превосходящее f(n)

принимаемых детерминированными машинами Тьюринга, использующих не более f(n) ячеек памяти на рабочих лентах

принимаемых недетерминированными машинами Тьюринга, использующих не более f(n) ячеек памяти на рабочих лентах

принимаемых детерминированными машинами Тьюринга, заканчивающими свою работу за время, не превосходящее f(n)

Укажите классы языков, принимаемых машинами Тьюринга, для которых характерно отсутствие ограничений по времени.

NTIME(f(n))

DTIME(f(n))

NSPACE(f(n))

DSPACE(f(n))

Что характерно для детерминированной машины Тьюринга?

Комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ записано не более одного правила

Для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

Для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

Полиноминальная сложность алгоритма обозначается

О(n^c), где с – константа

О(c^n), где с – константа

О(n)

О(1)

Алгоритм, время работы которого линейно зависит от длины n входного слова, имеет сложность

О(1)

О(n^c), где с – константа

О(c^n), где с – константа

О(n)

Укажите разновидность ассоциаций в UML.

Реализация

Обобщение

Собственно ассоциация

Зависимость

Укажите высказывание, соответствующее модели Джелински – Моранды.

Время между отказами описывается экспоненциальным распределением, среднее значение которого уменьшается в геометрической прогрессии

Время, прошедшее между отказами, принимается за экспоненциальное распределение с параметром, который пропорционален количеству оставшихся неисправностей в программном обеспечении

Процесс обнаружения ошибок в программном обеспечении сначала медленный, когда члены группы тестирования знакомятся с программным обеспечением, затем происходит рост, а затем снова замедление, поскольку остаточные ошибки становится все труднее обнаружить

Модель может соответствовать возрастающей, убывающей или постоянной интенсивности отказов благодаря большой гибкости

При определении будущей надежности программного обеспечения методом раннего прогнозирования

программное обеспечение находится на стадии проектирования

программное обеспечение находится на этапе тестирования

используются методы оценки надежности

данные об отказах доступны

Класс языков – это множество языков, допустимых недетерминированной машиной Тьюринга с полиномиальным ограничением пространства, обозначается

NPSPACE

DTIME

DSPACE

NTIME

Укажите модель, входящую в категорию бесконечных отказов.

Базовая модель времени выполнения Мусы

Отсроченная S-образная модель роста надежности

Гиперэкспоненциальная модель

Геометрическая модель

Для детерминированной машины Тьюринга характерно, что

для каждого входного слова имеется один путь, по которому может развиваться вычисление

для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

для каждой комбинации состояния и ленточного символа в таблице программы управления МТ может быть записано более одного правила

комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

В UML диаграмма последовательности относится к виду

структурные диаграммы

диаграммы поведения

диаграммы автомата

диаграммы взаимодействия

IDEF расшифровывается как

incapsuled description

infantile development

integral destruction

icam definition

При определении будущей надежности программного обеспечения методом раннего прогнозирования

используются методы оценки надежности

данные об отказах доступны

программное обеспечение находится на стадии проектирования

программное обеспечение находится на этапе эксплуатации

При определении будущей надежности программного обеспечения методом прогнозирования надежности

программное обеспечение находится на этапе эксплуатации

используются метрики программного обеспечения

программное обеспечение находится на стадии кодирования

программное обеспечение находится на стадии проектирования

При определении будущей надежности программного обеспечения методом раннего прогнозирования

программное обеспечение находится на этапе тестирования

данные об отказах доступны

программное обеспечение находится на стадии кодирования

используются методы оценки надежности

Укажите модель с экспоненциальным временем безотказной работы.

Геометрическая модель

Логарифмическая пуассоновская модель Мусы – Окумото

Гиперэкспоненциальная модель

Модель Вейбулла

Укажите высказывание, соответствующее модели Джелински – Моранды.

Время выполнения в большей степени отражает реальную нагрузку на компьютер, вызванную программной системой, чем календарное время

Текущая частота отказов может быть лучшим предсказателем будущего поведения, чем наблюдаемые показатели в далеком прошлом

Время, прошедшее между отказами, принимается за экспоненциальное распределение с параметром, который пропорционален количеству оставшихся неисправностей в программном обеспечении

Одна из ранних моделей, основанная на том, что если построить график зависимости накопленной интенсивности отказов от накопленного времени тестирования на логарифмической бумаге, то он будет близок к прямой линии

Укажите классы языков, принимаемых машинами Тьюринга, для которых характерно отсутствие ограничений на память.

NTIME(f(n))

DSPACE(f(n))

NSPACE(f(n))

DTIME(f(n))

Диаграмма деятельности – это нагруженный ориентированный псевдогиперграф, в котором используются

узлы деятельности

узлы сущностей

узлы процессов

узлы артефактов

Укажите обязательные элементы диаграммы прецедентов UML.

Примечания

Акторы

Пакеты

Ограничения

Назовите отношения между классами в UML.

Агрегация

Композиция

Зависимость

Навигация

Стрелка временного предшествования в IDEF3

изображается одинарной стрелкой и сплошной линией

не определяет семантику потока между работами

дополняется графиком активации

указывает факт передачи информационных или материальных объектов от предшествующей работы к последующей

Наиболее важный из путей управления количеством ошибок – это

повторное использование

монолитно-модульная архитектура

сервис-ориентированная архитектура

слабая связность

Укажите диаграмму поведения UML.

Диаграмма деятельности

Диаграмма последовательности

Диаграмма обзора взаимодействия

Диаграмма синхронизации

Укажите высказывание, соответствующее модели Джелински – Моранды.

Модель может соответствовать возрастающей, убывающей или постоянной интенсивности отказов благодаря большой гибкости

Время, прошедшее между отказами, принимается за экспоненциальное распределение с параметром, который пропорционален количеству оставшихся неисправностей в программном обеспечении

Время выполнения в большей степени отражает реальную нагрузку на компьютер, вызванную программной системой, чем календарное время

Различные разделы программного обеспечения испытывают экспоненциальную частоту отказов; однако частота отказов в этих разделах различна, что отражает их различную природу

IDEF расшифровывается как

integrated definition

integral development

innovative development

integer deforming

При определении будущей надежности программного обеспечения методом прогнозирования надежности

данные об отказах недоступны

программное обеспечение находится на стадии кодирования

программное обеспечение находится на стадии проектирования

используются методы оценки надежности

Укажите допущения, которые являются общими – распространяются на большинство моделей надежности программного обеспечения.

Отказы при обнаружении неисправностей являются независимыми

Программное обеспечение эксплуатируется в режиме, аналогичном тому, для которого должны быть сделаны прогнозы надежности

Каждая неисправность имеет такую же вероятность возникновения, как и любая другая неисправность

Неисправность устраняется мгновенно без внесения новых неисправностей в программное обеспечение

По уровню серьезности отказ может быть

катастрофический

внезапный

незначительный

постепенный

Укажите класс языков, принимаемых недетерминированными машинами Тьюринга, заканчивающими свою работу за время, не превосходящее f(n).

DTIME(f(n))

DSPACE(f(n))

NTIME(f(n))

NSPACE(f(n))

Метрики Холстеда

содержат общее количество операторов в программе

чувствительны к размеру программы, но не чувствительны к потоку управления программой

содержат общее количество операндов в программе

содержат количество узлов графа потока управления программой

IDEF расшифровывается как

integer destruction

integrated definition

internal defound

innovative description

Стрелка в IDEF0

рисуется входящей в нижнюю грань работы

рисуется входящей в верхнюю грань работы

рисуется как входящая в левую грань прямоугольника, символизирующего работу

рисуется исходящей из правой грани работы

Результатом этапа технико-экономического обоснования являются

технический проект

акт приемочных испытаний

описание продукта

бизнес-план

Какой перекресток в IDEF3 в точке ветвления используется в тех случаях, когда параллельно соединенные работы исполняются в режиме системы массового обслуживания?

ИЛИ

Асинхронный И

Синхронный И

Исключающий ИЛИ

Укажите модели с экспоненциальным временем безотказной работы.

Модель негомогенного пуассоновского процесса (NHPP)

Модель Джелински – Моранды

Геометрическая модель

Модель Шнейдевинда

Укажите модель, входящую в категорию бесконечных отказов.

Модель Джелински – Моранды

Модель негомогенного пуассоновского процесса (NHPP)

Гиперэкспоненциальная модель

Геометрическая модель

Диаграмма деятельности содержит

процессы

артефакты

сущности

объекты

Для недетерминированной машины Тьюринга характерно, что

комбинация текущего состояния автомата и символа на ленте может допускать несколько переходов

для каждого входного слова имеется один путь, по которому может развиваться вычисление

для каждого входного слова имеется несколько путей, по которым может развиваться вычисление

комбинация текущего состояния автомата и символа на ленте допускает только один переход

Каковы цели создания реляционной модели?

Совершенствование иерархической модели данных

Расширение языков управления данными за счет включения операций над множествами

Обеспечение более высокой степени независимости от данных

Создание прочного фундамента для решения проблем непротиворечивости и избыточности данных

Каковы цели создания реляционной модели?

Совершенствование иерархической модели данных

Создание прочного фундамента для решения семантических вопросов

Расширение языков управления данными за счет включения операций над множествами

Создание прочного фундамента для решения проблем непротиворечивости и избыточности данных

Укажите допущения, которые являются общими – распространяются на большинство моделей надежности программного обеспечения.

Программное обеспечение эксплуатируется в режиме, аналогичном тому, для которого должны быть сделаны прогнозы надежности

Отказы при обнаружении неисправностей являются независимыми

Каждая неисправность имеет такую же вероятность возникновения, как и любая другая неисправность

Скорость обнаружения неисправностей остается постоянной в течение интервалов между их возникновением

Метрики Маккейба

содержат количество связных компонентов

содержат количество ребер графа потока управления программой

содержат общее количество операндов в программе

содержат количество узлов графа потока управления программой