Блинков Ю.А., Месянжин В.В. (сост) Основы объектно-ориетнированного программирования. Саратовский Государственный университет, механико-математический факультет

Подождите немного. Документ загружается.

вариантов и инвариантов цикла

отключения всяческих проверок

11. Каждый цикл

имеет единственный инвариант

имеет множество инвариантов

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

имеет инвариант, позволяющий доказать завершаемость цикла

12. Если процедуры создания корректны (по их завершению выполняются все инварианты класса)

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

гарантируется выполнение инвариантов во все стабильные моменты

эти условия еще не гарантируют выполнение инвариантов во все стабильные моменты

гарантируется выполнение инвариантов во все стабильные моменты для программ без дина-

мических псевдонимов

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

13. Отметьте истинные высказывания

утверждения служат четырем целям: помогают в конструировании корректных программ;

помогают в создании документации, помогают в отладке, являются основой механизма ис-

ключений

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

утверждений

инвариант реализации, – часть инварианта класса – выражает корректность представления

классом соответствующего АТД

инвариант цикла изменяет значение на каждом шаге выполнения цикла

14. Отметьте истинные высказывания

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

класса

метод с предусловием False бесполезен для клиентов

класс описывает все возможные реализации АТД

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

ту, которому доступна сама программа

15. Отметьте истинные высказывания

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

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

нимые к каждому экземпляру класса, как целому

утверждения задают семантику класса

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

обычно является правильным выбором

Набрано баллов

10 Когда контракт нарушается: обработка

исключений

10.1 Базисные концепции обработки исключений

Отказы

Неформально исключение это аномальное событие, прерывающее выполнение программы. Для полу-

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

следующее из идеи контракта.

Программа это не произвольная последовательность инструкций, а реализация некоторой специ-

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

творяющем постусловию и инварианту класса. Неявное следствие контракта - при вызове программы

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

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

Такие ситуации будем называть отказом (failure).

Определения: успех, отказ

Вызов программы успешен, если он завершается в состоянии, удовлетворяющем контракту. Вызов

завершается отказом, если он не успешен.

Будем использовать термины "отказ программы"или просто "отказ как сокращения более точного

термина "вызов программы, завершающийся отказом". Понятно, что сама программа не может быть

ни успешной, ни давать отказ. Эти понятия применимы только по отношению к конкретному вызову.

Исключения

Программа приводит к отказу из-за возникновения некоторых специфических событий (арифмети-

ческого переполнения, нарушения спецификаций), прерывающих ее выполнение. Такие события и

являются исключениями.

Определение: исключение Исключение - событие периода выполнения, которое может стать при-

чиной отказа программы.

Зачастую исключение будет причиной отказа. Но можно предотвратить отказ, написав программу

так, что она будет захватывать возникшее исключение, пытаться восстановить состояние, допуска-

ющее нормальное продолжение вычислений. Вот почему отказ и исключение - это разные понятия:

каждый отказ это следствие исключения, но не каждое исключение приводит к отказу.

Источники исключений

Исключения можно классифицировать, разделив их на категории.

Стандартные мсключения могут возникать при выполнении программы на Python в результате

следующих ситуаций.

• Exception

Базовый класс для всех встроенных классов исключений. Атрибут exception.args его эк-

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

– SystemExit

Исключения этого класса генерируются функцией sys.exit()

– StopIteration

Вызываются методом next() итератора для сигнала, что дальнейших значений нет.

– StandardError

Базовый класс исключений, предназначенных для генерации при возникновении стан-

дартных ошибок (то есть всех ошибок, которые могут возникнуть при использовании

встроенных средств языка). Производный класс от класса Exception

∗ KeyboardInterrupt

По умолчанию, если интерпретатор получает сигнал SIGINT, например, при прерыва-

нии с клавиатуры (обычно клавишами Ctrl-C)

∗ ImportError

Генерируются, если модуль с указанным в инструкции import именем не может быть

импортирован или в модуле не найдено его имя

∗ EnvironmentError

Базовый класс исключений, генерируемых при ошибках, возникающих за пределами

интерпретатора Python; кортеж аргументов ошибки: (errno, errMsg...)

· IOError

Используется при ошибках ввода/вывода

· OSError

Исключения этого класса (доступного также как os.error) в основном генери-

руются функциями модуля os

∗ EOFError

Генерируются некоторыми встроенными функциями input(), raw_input(), если

достигается конец файла и, при этом, из него не считано ни байта информации.

∗ RuntimeError

При ошибках времени выполнения, которые не попадают ни в одну из описанных

выше категорий

· NotImplementedError

При определении абстрактных методов пользовательских классов-интерфейсов

∗ NameError

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

или глобальное имя не найдено

· UnboundLocalError

Используется в случае, если вы неявно ссылаетесь на глобальную переменную (не

использовав предварительно инструкцию global), а затем пытаетесь удалить ее

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

∗ AttributeError

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

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

∗ SyntaxError

Используется синтаксическим анализатором при обнаружении синтаксических ошибок

· IndentationError

При синтаксических ошибках с отступами

· TabError

При синтаксических ошибках с отступами

∗ TypeError

Генерируются, какая-либо операция применяется к объекту несоответствующего типа

∗ AssertionError

Исключения этого класса генерируются, если не выполняется условие, указанное в

инструкции assert

∗ LookupError

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

не содержит элемента с заданным индексом или ключом

· IndexError

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

следовательности, выходит за пределы диапазона

· KeyError

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

указанным ключом

∗ ArithmeticError

Базовый класс исключений, генерируемых при возникновении арифметических оши-

бок

· OverflowError Используется, когда результат арифметической операции слиш-

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

· ZeroDivisionError Используется, если второй операнд операторов деления и

получения остатка от деления равен нулю.

· FloatingPointError Исключения этого класса генерируются, если возникают

проблемы с выполнением операции с плавающей точкой

∗ ValueError

Генерируются, какая-либо операция применяется к объекту правильного типа, но име-

ющего несоответствующее значение, и ситуация не может быть описана более точно

с помощью исключения другого типа (например, TypeError).

· UnicodeError

При ошибках кодирования, связанного с unicode

∗ ReferenceError

При попытке доступа к объекту “сборщику мусора” с недостаточными полномочиями

для связи

∗ SystemError

Генерируются в случае обнаружения внутренних ошибок

∗ MemoryError

Используется, если для выполнения операции не хватает памяти

∗ Warning

Базовый класс для предупреждений (см. модуль warning)

· UserWarning

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

· PendingDeprecationWarning

Предупредление о коде, который в будущем будет упразднён

· DeprecationWarning

Предупреждение об упразднённом коде

· SyntaxWarning

Предупреждение о вызывающем сомнения синтаксисе

· RuntimeWarning

Предупреждение о странном поведении во время работы

Пример обработки исключительной ситуации при работе с базой данных

import psycopg2 as db

def rounding(n):

return int(round(n+0.5))

conn = db.connect(database="CA&NT", user="postgres")

db.threadsafety=2

curs = conn.cursor()

try:

sql = """

DELETE FROM tblЗаявкиДоп USING tblЗаявки

WHERE tblЗаявкиДоп.FK_Заявка = tblЗаявки.PK_Заявка AND

tblЗаявки.FK_УчебныйГод = 1;

"""

curs.execute(sql)

except db.DatabaseError, x:

print "Ошибка: ", x

conn.rollback()

conn.commit()

conn.close()

Общий вид обработки исключений на языке Python

try:

#здесь код, который может вызвать исключение

raise ExceptionType("message")

except (Тип исключения1, Тип исключения2, ...), Переменная:

#Код в блоке выполняется, если тип исключения совпадает с одним из типов

#(Тип исключения1, Тип исключения2, . . . ) или является наследником одного

#из этих типов.

#Полученное исключение доступно в необязательной Переменной.

except (Тип исключения3, Тип исключения4, ...), Переменная:

#количество блоков except не ограниченно

raise #Сгенерировать исключение "поверх" полученного

except:

#Будет выполнено при любом исключении, не обработанном типизированными блоками except

else:

#Код блока выполняется, если не было поймано исключений.

finally:

#будет исполненно в любом случае, возможно после соответствующего

#блока except или else

Ключевые концепции

• Обработка исключений - это механизм, позволяющий справиться с неожиданными условиями,

возникшими в период выполнения.

• Отказ - это невозможность во время выполнения программы выполнить свой контракт.

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