Ответы к контрольной работе: Объектно-ориентированное программирование и программная инженерия

Полиморфизм - одно из важнейших понятий, связанных с наследованием. Какие высказывания справедливы для присваивания?

Механизм агентов с успехом применяется в ряде ситуаций. Какие утверждения справедливы? Можно ли при итерировании заменить этот механизм?

Какие утверждения справедливы по отношению к записи agent N?

Контракты играют важную роль при проектировании. Какие утверждения справедливы для контрактов в процессе наследования?

Какие высказывания справедливы для таких понятий как переопределение и переобъявление методов?

При проектировании ПО приходится учитывать два разных аспекта проектирования, - разделять "модель" и "облик", "издателей" и "подписчиков". Какие утверждения справедливы относительно взаимодействия этих аспектов?

Говоря о качестве программного продукта можно рассматривать как внешние факторы, так и внутренние факторы. Какие утверждения являются справедливыми?

Какова главная цель инженерии программ?

Какие факторы можно не учитывать, когда речь идет об инженерии программ?

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

Какие утверждения о наследовании являются корректными?

В классе Р задан эффективный метод М с постусловием "Т > 10". Наследник этого класса Р1 переопределил этот метод, задав соответственно постусловие: ensure then "Т > 20". Класс Р2 - наследник Р1 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 50". Класс Р3 - наследник Р2 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 100". Клиенту требуется вызвать метод, обеспечивающий на выходе истинность условия: "T > 15". Методы каких классов могут гарантировать истинность выполнения этого условия?

Когда выполняется присваивание x := agent r, то переменная x должна принадлежать специальному типу, часто называемому функциональным, поскольку объектами этого типа являются функции и процедуры. В Eiffel этот тип задается классом ROUTINE и тремя его потомками – классами PROCEDURE, FUNCTION, PREDICATE. Какой из этих классов задает агентов, связанных с командами?

Связанные переменные лямбда-выражения это:

Ограничение универсальности класса C[T1, T2, …TK] означает

Пусть в интерфейсе пользователя заданы 5 командных кнопок класса Button и три пункта меню класса Menu. Для всех этих элементов возможно событие Click. Сколько обработчиков события Click, следует создать в этой ситуации?

Какой из методов класса Publisher существует в нескольких вариантах?

Для какой модели разработки ПО характерна практика парного программирования?

Какие утверждения справедливы относительно процесса сбора и отбора требований к системе?

Какие факторы качества ПО относятся к долговременным факторам?

В соответствии с классификацией DIAMO инженерия программ включает несколько частей. Какие это части?

Какое утверждение несправедливо относительно понятия "событие"?

Манифестный агент – это агент:

Механизм агентов с успехом применяется в ряде ситуаций. Какие утверждения справедливы? Можно ли при откатах заменить этот механизм?

Когда механизм агентов применяется для обработки событий, то:

Какие утверждения, связанные с образцом проектирования "Посетитель", являются справедливыми?

Какая комбинация стратегий применяется в Eiffel?

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

В родительском классе Р задан эффективный метод М с предусловием "Быть пушистым" and "Быть белым". Наследник этого класса Р1 переопределил этот метод, задав соответственно предусловие: require else "Быть белым". Наследник этого класса Р2 переопределил этот метод, задав соответственно предусловие: require else "Быть пушистым".Наследник этого класса Р3 переопределил этот метод, задав соответственно предусловие: require else "Быть натуральным". Объект, передаваемый на вход методу М, обладает свойствами "Быть белым" and "Быть натуральным". Методы какого класса могут применяться для обработки этого объекта?

Архитектура образца "Наблюдатель" предполагает проектирование двух классов Publisher (Издатель) и Subscriber (Подпичик), которые являются родителями соответствующих семейств классов. Какие утверждения справедливы относительно этих классов?

Пусть в интерфейсе пользователя заданы 5 командных кнопок класса Button и три пункта меню класса Menu. Для всех этих элементов возможно событие Click. Сколько объектов, задающих событие Click, следует создать?

Какие утверждения являются корректными по отношению к образцу проектирования "Посетитель"?

Архитектура образца "Наблюдатель" предполагает проектирование класса Subscriber (Подписчик), который является родителем соответствующего семейства классов. Какие утверждения справедливы относительно этого класса?

Agile – это методология быстрой разработки ПО. Какие высказывания справедливы для этой методологии?

Организации, создающие ПО, могут быть сертифицированы. Одна из таких сертификаций, оценивающая уровень зрелости организации, - сертификация CMMI – предполагает 5 уровней зрелости. Какие из приведенных уровней не входят в сертификацию CMMI?

Какие утверждения относительно тестирования являются справедливыми?

В каких ситуациях следует применять методы инженерии программ?

Какие утверждения являются справедливыми относительно контроллера в модели МОК (MVC)?

При описании образца "Наблюдатель" могут применяться две схемы задания аргументов события. Первая предполагает, что аргументы задаются списком, содержащим элементы произвольного типа, заданного параметром ANY. Во второй схеме аргументы задаются в ориентации на конкретный вид сообщения. Какие утверждения справедливы относительно этих двух схем

При проектировании ПО следует выделять как отдельные элементы "модель" ПО и "облик" ПО. Какие утверждения справедливы?

При численном вычислении интегралов механизм агентов:

Пусть p – сущность типа F. Динамическим кастингом или приведением типа называется конструкция (S) p, динамически изменяющая в период выполнения тип сущности на тип S. Динамический кастинг опасная операция. В языке Eiffel для безопасного применения динамического кастинга введена конструкция, называемая тестом объекта. Тест объекта – это булевское выражение следующего вида: attached (S) p as t. Выражение получает значение false, если тип объекта, присоединенного к p, не согласован с типом S. Выражение получает значение true, если сущность p присоединена к объекту, согласованному по типу с типом S. В этом случае в качестве побочного эффекта создается локальная переменная t типа S, к которой присоединяется соответствующий объект. Пусть тест объекта появляется как условие if оператора. Какие утверждения справедливы относительно области определения локальной переменной t?

Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано постусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно постусловия РР метода М в классе наследника?

Что происходит с контрактами при наследовании. Укажите корректные утверждения?

Каждый создаваемый объект содержит поля, в которых хранятся значения атрибутов класса, задающие свойства объекта. В языке Eiffel при создании объекта добавляются поля, содержащие дополнительную информацию. Каково число таких полей?

Переопределение наследником метода, заданного родителем, должно делаться явно с использованием специального ключевого слова: redefine. Какие утверждения справедливы по отношению к этому термину?

Какие утверждения справедливы для понятий экземпляр типа и прямой экземпляр типа?

В чем особенность кластерной модели жизненного цикла?

Динамическое связывание и полиморфизм не являются единственно возможными механизмами, применяемыми в ситуациях, когда некоторую специфическую операцию следует применять к объектам разного типа. Какие утверждения справедливы для этих механизмов?

Пусть заданы классы P и F – родители класса S, а M – метод с одним и тем же именем в классах P и F. Какие утверждения в этой ситуации являются справедливыми?

Пусть присваивание x := agent N корректно выполняется в программе на Eiffel . Какие утверждения корректны относительно вызова x.call([y,z])?

Какие утверждения о недостатках, характерных для образца "Наблюдатель", являются справедливыми?

Организации, создающие ПО, могут быть сертифицированы. Одна из таких сертификаций, оценивающая уровень зрелости организации, - сертификация CMMI – предполагает 5 уровней зрелости. Для зрелой организации в процессе разработки требуется управлять рисками, начиная с уровня зрелости:

Какие утверждения относительно статического и динамического типа полиморфной сущности являются справедливыми?

В соответствии с классификацией DIAMO на каких этапах выполняется проектирование программного продукта?

Что происходит, когда подписчик получает уведомление о событии

Из 15 сформулированных свойств хороших требований, какое из свойств не входит в этот список?

Какие утверждения справедливы для модели водопада?

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

При описании жизненного цикла ПО используются модели:

Какие факторы процесса разработки оценивают качество механизмов, применяемых для создания ПО?

Документ требований к системе сам должен удовлетворять определенным требованиям. Стандарт IEEE "Рекомендуемая практика специфицирования требований ПО" задает эти требования. Укажите, какое из предлагаемых описаний не входит в этот стандарт?

Спиральная модель жизненного цикла кажется более гибкой, чем модель водопада. У нее есть как преимущества, так и недостатки. Какие утверждения справедливы, когда сравниваются эти две модели?

Создание большой новой программной системы следует начинать с этапа:

Какой из факторов не относится к факторам, характеризующим процесс разработки?

Какие факторы качества ПО относятся к внешним факторам?

Обеспечение качества – одна из главных задач инженерии программ. Какие утверждения о качестве справедливы?

Разработка программного продукта, его появление на рынке и его использование приводит к тому, что многие люди в той или иной мере связаны с этим продуктом, становятся сопричастниками. Кого нельзя отнести к сопричастникам (stakeholder) программного продукта?

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

Каким отношением связаны классы Subscriber и Publisher?

Какие высказывания справедливы для процесса регистрации подписки?

Какие утверждения справедливы для понятия "сигнатура события"?

Какой метод наследуют классы PROCEDURE, FUNCTION, PREDICATE от родительского класса ROUTINE?

Когда выполняется присваивание x := agent r, то переменная x должна принадлежать специальному типу, часто называемому функциональным, поскольку объектами этого типа являются функции и процедуры. В Eiffel этот тип задается классом ROUTINE и тремя его потомками – классами PROCEDURE, FUNCTION, PREDICATE. Какой из этих классов обозначает запросы, возвращающие тип BOOLEAN?

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

Пусть p – сущность типа F. Динамическим кастингом или приведением типа называется конструкция (S) p, динамически изменяющая в период выполнения тип сущности на тип S. Динамический кастинг опасная операция. В языке Eiffel для безопасного применения динамического кастинга введена конструкция, называемая тестом объекта. Тест объекта – это булевское выражение следующего вида: attached (S) p as t. Выражение получает значение false, если тип объекта, присоединенного к p, не согласован с типом S. Выражение получает значение true, если сущность p присоединена к объекту, согласованному по типу с типом S. В этом случае в качестве побочного эффекта создается локальная переменная t типа S, к которой присоединяется соответствующий объект. Пусть тест объекта появляется как отрицание условия if оператора. Какие утверждения справедливы относительно области определения локальной переменной t?

При проектировании класса VECTOR[ELEMENT-> NUMERIC] сам класс был объявлен наследником класса NUMERIC. Какие родовые порождения допустимы в этом случае?

Ограничение универсальности класса C[T] означает:

Универсальность и наследование – два тесно связанных механизма, обеспечивающие мощь ОО проектирования и программирования. Рассмотрим универсальный класс LIST[T] – список, тип элементов которого задается параметром T. Укажите, какие классы могут быть связаны отношением наследования с классом LIST[T]?

Какие утверждения относительно множественного наследования в Eiffel являются справедливыми?

В родительском классе Р задан эффективный метод М с предусловием "Быть пушистым" and "Быть белым". Наследник этого класса Р1 переопределил этот метод, задав соответственно предусловие: require else "Быть белым". Наследник этого класса Р2 переопределил этот метод, задав соответственно предусловие: require else "Быть пушистым". Наследник этого класса Р3 переопределил этот метод, задав соответственно предусловие: require else "Быть натуральным". Объект, передаваемый на вход методу М, обладает свойствами "Быть пушистым" and "Быть натуральным" and "Быть белым". Каково число реализаций метода М, которые могут применяться для обработки этого объекта?

При переопределении метода возможно и переопределение контракта. Какие утверждения справедливы при переопределении контракта:

Что происходит с инвариантами класса при наследовании. Укажите корректные утверждения?

Какие утверждения справедливы для отложенного класса и его объектов?

Трансформация и полиморфное присоединение – два механизма, поддерживающие семантику присваивания и аналогичную семантику замены формальных аргументов при вызове метода. Какие утверждения справедливы для этих механизмов?

Eiffel Studio позволяет отображать различные облики класса. Плоский облик класса отображает:

Для объектно-ориентированного стиля разработки ПО наиболее подходит модель:

В соответствии с классификацией DIAMO к какому этапу относится задание спецификаций программного продукта?

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

В классе Р задан эффективный метод М с постусловием "Т > 10". Наследник этого класса Р1 переопределил этот метод, задав соответственно постусловие: ensure then "Т > 20". Класс Р2 - наследник Р1 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 50". Класс Р3 - наследник Р2 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 100". Клиенту требуется вызвать метод, обеспечивающий на выходе истинность условия: "T > 70". Методы каких классов могут гарантировать истинность выполнения этого условия?

Какие утверждения относительно экспорта компонентов класса справедливы в Eiffel?

Каждый создаваемый объект содержит поля, в которых хранятся значения атрибутов класса, задающие свойства объекта. В реализации языка Eiffel при создании объекта добавляются поля, содержащие дополнительную информацию. Эти поля содержат информацию, задающую:

Какие виды тестирования не применяются на практике?

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

Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано предусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно предусловия РР метода М в классе наследника?

Какие утверждения справедливы относительно метода call в языке Eiffel?

Какие утверждения справедливы по отношению к понятию функция?

Полиморфизм - одно из важнейших понятий, связанных с наследованием. Полиморфными могут быть:

Пусть проектируется класс MATRIX[ELEMENT], задающий матрицу, тип элементов которой задается параметром класса. Операции класса предполагают возможность выполнения арифметических операций, как над элементами матрицы, так и над самими матрицами. Какие утверждения справедливы в этом случае?

Пусть при повторном наследовании класс Р имеет метод М. Пусть у класса Р есть два наследника F и G, которые являются родительскими классами для класса S. В каких ситуациях у класса S будут существовать две версии метода М?