Яка перша опублікована посилання на тестування першого програмування?

Я читаю рефакторинг Мартіна Фаулера. У розділі 4, Тести з будівництва, я натрапив на наступний уривок.

Насправді, один з найбільш корисних моментів для написання тестів - це перед тим, як розпочати програмування. Коли вам потрібно додати функцію, почніть з написання тесту. Це не так відстало, як це звучить. Складаючи тест, ви запитуєте себе, що потрібно зробити, щоб додати функцію. Написання тесту також зосереджується на інтерфейсі, а не на реалізації (завжди гарна річ). Це також означає, що у вас є чіткий момент, коли ви робите кодування - коли тест працює.

Хоча я зараз є прихильником тестового розвитку, я не пам’ятав, щоб мене познайомили з цією концепцією, коли я спочатку читав цю книгу майже 5 років тому.

За даними Amazon.com, ця книга була спочатку опублікована 8 липня 1999 року. Це перша опублікована посилання на тестування першого програмування чи є щось ще раніше?

Розробка тестових програм схожа на розробку за контрактом, де у вас є передумови, інваріанти та постумови.

Термін був введений Бертран Мейєром у зв'язку з його дизайном мови програмування Ейфеля і вперше описаний у різних статтях, починаючи з 1986 року [Вікіпедія]

Офіційні методи датуються щонайменше 1983 роком і застосовуються для критично важливих для безпеки систем, таких як Паризьке метро без водія, використовуючи метод B:

У першій і найбільш абстрактній версії, яка називається абстрактною машиною, дизайнер повинен вказати мету дизайну. [Вікіпедія]

Це можуть бути деякі речі, з яких Кент Бек "допоміг піонеру ... знову відкрити тестування першого програмування".

Більше того: Очевидно, що проект Nasa на початку 1960-х років Меркурій був першим програмним проектом, що використовував тестові розробки та інші спритні практики. Я не зміг знайти жодної ранньої документації, але ось звіт про 2003 рік, який цитує повідомлення учасників проекту:

Проект "Меркурій" проходив з дуже короткими (південними) ітераціями, які були вичерпані. Команда розробників провела технічний огляд усіх змін і, що цікаво, застосувала практику Екстремального програмування тестування перших розробок, планування та написання тестів перед кожним мікроприрістком.

Решта доповіді теж цікава, вона продовжує говорити:

Найбільш рання посилання, яку ми виявили, що спеціально зосереджена на описі та рекомендації ітеративної розробки, була доповіддю Брайана Ренделла та Ф. В. Цурчера в 1968 році в дослідженні IBM TJ Watson.

На додаток до автоматизованого тестування, звіт 1968 року виступає за паралельне кодування та тестування, якщо не тест-перше:

г. Детальне проектування, кодування та документація кожного програмного блоку.
год. Проектування та документування методів тестування для кожного програмного блоку паралельно кроку (g).

Джон Bently у програмуванні Pearls (оригінально опубліковано 1986 р.) Спеціально не згадує програмування Test-First. Але в главі "Написання правильних програм" він описує написання алгоритму, спочатку визначивши передумови, інваріанти та постумови, а в наступній главі описує автоматизовану рамку тестування.

Це не зовсім тест-перше, але він, безумовно, заклав деякі основи.

Також,

Журнал CIO , березень 1993 року, Bug Busters , Люсі Джуно, стор. 84 :

Тестові справи ... можуть бути розроблені ще до того, як був написаний будь-який код. В ідеалі ці випадки базуються на вимогах програми ... Якщо розробникам надаються тести на основі вимог, перш ніж вони почнуть писати код, вони розробити продукт, який може пройти ці тести ... "

Це був Кент Бек у своїй книзі « Екстремальне програмування» , що також вийшла у 1999 році .