Этот пост (Первые принципы программирования — 8. Первый принцип — Доказательство того, что код работает) изначально был опубликован на Sargalias.

Эта статья является частью серии «Первые принципы программирования»:

  1. Цель — О чем этот сериал
  2. Аудитория — для кого этот сериал
  3. Требования к программному обеспечению
  4. Посылка — минимум информации
  5. Предпосылка — Мы должны понимать, что делаем
  6. Предпосылка — свести к минимуму распространение изменений по всей системе
  7. Предпосылка — сложность возрастает экспоненциально с масштабом
  8. Первый принцип — Докажите, что код работает (эта статья)
  9. Первый принцип — Принцип наименьшего удивления
  10. Первый принцип — Принцип наименьшего знания
  11. Первый принцип — Разделение интересов
  12. Первый принцип — Абстракция
  13. "Побочные эффекты"

Также предлагается:

Нам нужны доказательства того, что код работает.

Почему нам нужно доказательство того, что код работает

Из нашего основного требования следует, что то, что мы производим, должно работать:

  1. Без доказательства того, что система работает, мы не знаем, работает она или нет.
  2. Если мы не знаем, работает ли это, значит, оно может не работать.
  3. Если она не работает, значит, мы не выполнили требование, согласно которому система должна работать.
  4. С другой стороны, если у нас есть доказательство того, что система работает, мы знаем, что она работает, и мы выполнили наше требование.

Поэтому нам нужны доказательства того, что система работает.

Требования к нашему доказательству

Наше доказательство должно:

  • Быть воспроизводимым по запросу, потому что это нужно нам для каждого отдельного изменения, которое мы вносим, ​​потому что мы должны знать, что система работает всегда.
  • Должен быть максимально эффективным.

Предлагаемое доказательство

В настоящее время единственное, что я знаю, это хороший набор тестов.

Эта статья является частью серии «Первые принципы программирования»:

  1. Цель — О чем этот сериал
  2. Аудитория — для кого этот сериал
  3. Требования к программному обеспечению
  4. Посылка — минимум информации
  5. Предпосылка — Мы должны понимать, что делаем
  6. Предпосылка — свести к минимуму распространение изменений по всей системе
  7. Предпосылка — сложность возрастает экспоненциально с масштабом
  8. Первый принцип — Докажите, что код работает (эта статья)
  9. Первый принцип — Принцип наименьшего удивления
  10. Первый принцип — Принцип наименьшего знания
  11. Первый принцип — Разделение интересов
  12. Первый принцип — Абстракция
  13. "Побочные эффекты"

Также предлагается:

Первоначально опубликовано на https://www.sargalias.com.