Методы и средства инженерии программного обеспечения

Упражнение 1:

Номер 1

Спецификация программы - это:

Ответ:

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

(2) точное, однозначное и недвусмысленное описание программы с помощью математических понятий, терминов, правил синтаксиса и семантики языка спецификации

(3) ограничение на совокупность входных и выходных параметров

Номер 2

Категории языков спецификации включают в себя:

Ответ:

(1) универсальный язык спецификации

(2) язык спецификации предметных областей

(3) язык описания предметных областей

(4) язык описания утверждений

Номер 3

Языки спецификации областей включают в себя следующие языки:

Ответ:

(1) язык спецификации доменов

(2) язык арифметических операций

(3) табличные языки

(4) язык описания взаимодействий

Упражнение 2:

Номер 1

Дерево - это:

Ответ:

(1) конструкция map, позволяющая создавать абстрактную таблицу из двух столбцов: ключей и значений

(2) конструкция , позволяющая объединять структуры разной природы (последовательности, множества и отображения)

(3) цепочка элементов одинакового типа из множества X

Номер 2

Отображение - это:

Ответ:

(1) конструкция map, позволяющая создавать абстрактную таблицу из двух столбцов: ключей и значений

(2) конструкция , позволяющая объединять структуры разной природы (последовательности, множества и отображения)

(3) цепочка элементов одинакового типа из множества X

Номер 3

Предусловие - это:

Ответ:

(1) предикат, который - истинный после выполнения предусловия, завершения текущих операции в заданных точках при выполнении инвариантных свойств программ

(2) предикат с операцией, к которой обращается программа после получения начального состояния для определения правильности выполнения или фиксации ошибочной ситуации

(3) описание операций проверки правильности программы в разных ее точках

Упражнение 3:

Номер 1

Отображение - это:

Ответ:

(1) структура (map), которая ставит в соответствие значениям одного типа значение другого типа

(2) конструктор union для объединения типов math

, при котором тип id получает одно из значений в списке элементов

(3) последовательность значений одного типа listT

Номер 2

Объединение - это:

Ответ:

(1) структура (map), которая ставит в соответствие значениям одного типа значение другого типа

(2) конструктор union для объединения типов math

, при котором тип id получает одно из значений в списке элементов

(3) последовательность значений одного типа listT

Номер 3

Количество компонентов произведения d находится следующим образом:

Ответ:

(1)

(2)

(3)

Упражнение 4:

Номер 1

Декларативные средства КЯ - это:

Ответ:

(1) аксиомы и утверждения относительно концепторного описания и проведения дедуктивного доказательства и верификации этого описания

(2) типизированный, многосортный логикоматематический язык задания выражений и структуризации множества значений (денотат)

(3) операторы и процедуры для описания объектов ПрО с помощью концепторов, состоящих из разделов для определения объектов решаемой задачи и действий над ними

Номер 2

Императивные средства КЯ - это:

Ответ:

(1) аксиомы и утверждения относительно концепторного описания и проведения дедуктивного доказательства и верификации этого описания

(2) типизированный, многосортный логикоматематический язык задания выражений и структуризации множества значений (денотат)

(3) операторы и процедуры для описания объектов ПрО с помощью концепторов, состоящих из разделов для определения объектов решаемой задачи и действий над ними

Номер 3

Концептор - это:

Ответ:

(1) декларативное описание объектов и императивное описание операторов вычисления выражений тела

(2) конструктор построения термов из выражений и формул

(3) конструктор, преобразующий термы в термы

Упражнение 5:

Номер 1

Метод Флойда основан:

Ответ:

(1) на аксиоматическом описании семантики языка программирования исходных программ

(2) на структурной проверке функций, работающих над структурными типами данных, структур данных и диаграмм перехода во время символьного выполнения программ

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

Номер 2

Метод Маккарти основан:

Ответ:

(1) на аксиоматическом описании семантики языка программирования исходных программ

(2) на структурной проверке функций, работающих над структурными типами данных, структур данных и диаграмм перехода во время символьного выполнения программ

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

Номер 3

Метод Дейкстры основан:

Ответ:

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

(2) на формальном исследовании текста программы с помощью предикатов первого порядка

(3) на аксиоматическом описании семантики языка программирования исходных программ

Упражнение 6:

Номер 1

Валидация требований - это:

Ответ:

(1) проверка полноты, непротиворечивости и однозначности спецификации и правильности выполнения функций системы в соответствии с требованиями

(2) процесс выявления ошибок в представлении сценарных требований

(3) заключение о корректности созданной программной системы после завершения ее разработки

Номер 2

Валидация требований включает следующие шаги:

Ответ:

(1) создание исполняемой модели требований

(2) проверка правильности спецификации объектов ОМ и параметров интерфейсов

(3) применение валидационных сценариев к модели требований

(4) оценивание результатов поведения модели требований

Номер 3

Валидация требований не включает следующие шаги:

Ответ:

(1) формализованное описание требований в виде сценариев

(2) создание специальных сценариев для валидации требований

(3) определение альтернативных событий, заданных на языке диаграмм UML

(4) анализ непредвиденных событий

Упражнение 7:

Номер 1

Методы анализа структуры программ проверяют:

Ответ:

(1) полноту определений в программе

(2) однозначность определений в программе

(3) грамотность определений в программе

(4) непротиворечивость определений в программе

Номер 2

Метод простого структурного анализа ориентирован на:

Ответ:

(1) значения предикатов в операторах реализации логических условий, по которым проходили пути выполнения программы

(2) анализ графовой структуры программы, в которой каждая вершина - оператор, а дуга - передача управления между операторами

(3) значения переменных, полученных из выражений формул над входными потоками данных

Номер 3

Метод символьной проверки применяется при:

Ответ:

(1) анализе графовой структуры программы, в которой каждая вершина - оператор, а дуга - передача управления между операторами

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

(3) обнаружении противоречий в описании логики программы

Упражнение 8:

Номер 1

Основные систематические методы обеспечения правильности программ - это:

Ответ:

(1) верификация компонентов

(2) верификация требований

(3) валидация требований

(4) валидация компонентов

Номер 2

Для доказательства правильности спецификации сообщения создается набор утверждений, доказывающий, что:

Ответ:

(1) для любой пары элементов сообщения, например, A и B, переход от A к B проходит не менее чем за три шага

(2) для любой пары элементов сообщения, например, A и B, переход от A к B проходит быстрее чем переход от B к A

(3) для любой пары элементов сообщения, например, A и B, переход от A к B проходит за один шаг

Номер 3

Контекст - это:

Ответ:

(1) описание типов, переменных и каналов

(2) описание переходов, состояний, набора операций процесса и перехода на следующее состояние

(3) описание условий выполнения и диаграмм процессов

Упражнение 9:

Номер 1

К событиям процесса относятся:

Ответ:

(1) отправка сообщения в канал

(2) нахождение сообщения в канале

(3) получение сообщения из канала

(4) анализ непредвиденного события

(5) чистка входных и выходных каналов

Номер 2

К событиям процесса не относятся:

Ответ:

(1) разработка программ

(2) верификация программ

(3) выполнение программ

Номер 3

Схема спецификации процесса - это:

Ответ:

(1) описание типов, переменных и каналов

(2) описание переходов, состояний, набора операций процесса и перехода на следующее состояние

(3) описание условий выполнения и диаграмм процессов

Упражнение 10:

Номер 1

Каждый компонент C в ОКМ-модели задается в виде C = (E, I, V, P), где:

Ответ:

(1) E - интерфейс этого компонента с другими компонентами через передачу сообщений или вызовов процедур

(2) E - исходный код компонента

(3) E - множество типов сообщений компонента

Номер 2

Каждый компонент C в ОКМ-модели задается в виде C = (E, I, V, P), где:

Ответ:

(1) V - множество переменных, определенных в исходном коде компонента и связанных со свойствами множества временных свойств, отражающими особенности среды компонента

(2) V - множество переменных с типом

(3) V - множество начальных значений для каждой переменной

Номер 3

Каждый компонент C в ОКМ-модели задается в виде C = (E, I, V, P), где:

Ответ:

(1) P - множество временных свойств, отражающее особенности среды компонента

(2) P - множество состояний, каждое из которых связано с ассоциативным действием

(3) P - операции связи для взаимодействия с другими компонентами

Упражнение 11:

Номер 1

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

Ответ:

(1) семантика выполнения процесса определяется в терминах событий и правил

(2) спецификация компонентов задается в языке диалекта UML и содержит описание временных свойств

(3) reuse-компоненты задают функции, спецификации интерфейса и временные свойства

(4) композиционный аппарат проверяет свойства составных компонентов

(5) абстракция компонента составлена из примитива и проверенных свойств в интегрированной среде

Номер 2

Свойство компонента C включается в абстракцию P только тогда, когда:

Ответ:

(1) оно определено в среде этого компонента

(2) оно проверено в среде этого компонента

(3) оно находится в среде этого компонента

Номер 3

Модель ОКМ - это:

Ответ:

(1) вычислительная модель системы, заданная на конечном множестве взаимодействующих процессов

(2) совокупность проверенных компонентов, спецификаций их временных свойств и условий функционирования, которые проверяются с помощью аппарата асинхронной передачи сообщений

(3) совокупность специфицированных компонентов и их временных свойств для обеспечения верификации

Упражнение 12:

Номер 1

Международный проект по разработке "целостного автоматизированного набора инструментов для проверки корректности ПС" включает следующие основные задачи:

Ответ:

(1) создание репозитария формальных спецификаций и верифицированных программных объектов разных видов и типов

(2) построение всеобъемлющего интегрированного набора инструментов верификации для всех производственных этапов, включая разработку спецификаций и их проверку, генерацию тестовых примеров, уточнение, анализ и верификацию программ

(3) разработка единой системы проверки корректности ПС

(4) разработка единой теории построения и анализа программ

Номер 2

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

Ответ:

(1) верификация будет охватывать все аспекты создания и проверки правильности ПО

(2) верификация станет главной альтернативой обнаружения ошибок в создаваемых программах

(3) верификация позволит разрабатывать ПС без ошибок

Номер 3

Функции репозитария не включают в себя:

Ответ:

(1) разработка механизмов интероперабельности и взаимодействия для переноса готовых верифицированных продуктов из репозитария в новые распределенные и сетевые среды

(2) разработка всевозможных методов верификации

(3) накопление верифицированных спецификаций, методов доказательства, программных объектов и реализаций кодов

(4) разработка стандартных форм для задания и обмена формальными спецификациями разных объектов, инструментов и готовых систем

Методы и средства инженерии программного обеспечения - тест 6