⚡️ Марк Зіман порівнює тестування з математичним доказом

Данський розробник Марк Зіман запропонував нову метафору для розуміння розробки на основі тестів (TDD), порівнюючи процес написання автоматизованих тестів із математичною індукцією. У нещодавній статті він стверджує, що правильно сформульований тест — це формальне твердження, яке має залишатися істинним у будь-якому середовищі, якщо розробник явно зафіксував усі передумови.

👉🏻 Канал | 💬 Чат | 📕 Каталог