Інваріант (програмування)
Матеріал з Вікіпедії — вільної енциклопедії.
В програмуванні, інваріант — це умова, що не змінюється, або не повинна змінюватись коли система працює правильно.
Як приклад, можна навести код комп'ютерної програми що повторно обробляє деякі дані. Часто трапляється так, що деякі дані можуть змінюватись, а деякі повинні не змінюватись.
В комп'ютерних науках, такі технології як оптимізуюча компіляція, розробка за контрактом та формальні методи приділяють багато уваги до інваріантів в програмах.
[ред.] Джерела інформації
- Invariant (computer science) (англ.), Wikipedia, 22 січня 2007.
[ред.] Дивіться також
- Константна правильність
- Різновиди інваріантів
- Інваріантний клас
- Інваріантний цикл
- Інваріантний об'єкт
- Інваріант