Інваріант (програмування)

Матеріал з Вікіпедії — вільної енциклопедії.

В програмуванні, інваріант — це умова, що не змінюється, або не повинна змінюватись коли система працює правильно.

Як приклад, можна навести код комп'ютерної програми що повторно обробляє деякі дані. Часто трапляється так, що деякі дані можуть змінюватись, а деякі повинні не змінюватись.

В комп'ютерних науках, такі технології як оптимізуюча компіляція, розробка за контрактом та формальні методи приділяють багато уваги до інваріантів в програмах.


[ред.] Джерела інформації

[ред.] Дивіться також

  • Константна правильність
  • Різновиди інваріантів
    • Інваріантний клас
    • Інваріантний цикл
    • Інваріантний об'єкт
  • Інваріант
Видається за доцільне, щоб цю статтю було об'єднано з Інваріант,
але, можливо, варто це додатково обговорити
Іншими мовами