Утверждение (разработка программного обеспечения)
- Утверждения в программировании – логические функции, связанные с точками кода, которые должны всегда оцениваться как true.
- Утверждения помогают программистам читать код, компиляторам компилировать его и обнаруживать дефекты в программе.
- Некоторые программы проверяют утверждения во время выполнения, и если они не выполняются, программа считает себя неработоспособной.
- Утверждения могут использоваться для определения корректности программ и обоснования их работы.
- В Eiffel утверждения являются частью процесса проектирования, в C и Java – для проверки предположений во время выполнения.
- Утверждения могут быть проверены на достоверность во время выполнения и могут быть отключены.
- Утверждения могут использоваться для проверки предположений, сделанных программистом во время реализации программы.
- Утверждения могут быть помещены в точки, которых выполнение не должно достигать, например, в предложении по умолчанию оператора switch.
- Утверждения могут использоваться для документирования состояния кода перед выполнением и состояния после выполнения.
- В Java утверждения стали частью языка начиная с версии 1.4.
Полный текст статьи: