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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Постусловие)
Строка 1: Строка 1:
Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций.  
+
Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций. Также немаловажную роль в правильности написания функций играют инварианты. 
 
== Предусловие ==
 
== Предусловие ==
 
{{Определение
 
{{Определение
Строка 10: Строка 10:
 
|definition=
 
|definition=
 
Постусловие - должно быть выполнено после исполнения действия.
 
Постусловие - должно быть выполнено после исполнения действия.
 +
}}
 +
== Инвариант ==
 +
{{Определение
 +
| definition=
 +
Инвариант - определяет глобальные свойства некоторого класса, которые должны соблюдаться после его создания на протяжении всего времени жизни.
 
}}
 
}}

Версия 15:39, 15 июня 2013

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

Предусловие

Определение:
Предусловие - должно быть выполнено до исполнения действия.


Постусловие

Определение:
Постусловие - должно быть выполнено после исполнения действия.

Инвариант

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