Этот пост (Первые принципы программирования — 8. Первый принцип — Доказательство того, что код работает) изначально был опубликован на Sargalias.
Эта статья является частью серии «Первые принципы программирования»:
- Цель — О чем этот сериал
- Аудитория — для кого этот сериал
- Требования к программному обеспечению
- Посылка — минимум информации
- Предпосылка — Мы должны понимать, что делаем
- Предпосылка — свести к минимуму распространение изменений по всей системе
- Предпосылка — сложность возрастает экспоненциально с масштабом
- Первый принцип — Докажите, что код работает (эта статья)
- Первый принцип — Принцип наименьшего удивления
- Первый принцип — Принцип наименьшего знания
- Первый принцип — Разделение интересов
- Первый принцип — Абстракция
- "Побочные эффекты"
Также предлагается:
Нам нужны доказательства того, что код работает.
Почему нам нужно доказательство того, что код работает
Из нашего основного требования следует, что то, что мы производим, должно работать:
- Без доказательства того, что система работает, мы не знаем, работает она или нет.
- Если мы не знаем, работает ли это, значит, оно может не работать.
- Если она не работает, значит, мы не выполнили требование, согласно которому система должна работать.
- С другой стороны, если у нас есть доказательство того, что система работает, мы знаем, что она работает, и мы выполнили наше требование.
Поэтому нам нужны доказательства того, что система работает.
Требования к нашему доказательству
Наше доказательство должно:
- Быть воспроизводимым по запросу, потому что это нужно нам для каждого отдельного изменения, которое мы вносим, потому что мы должны знать, что система работает всегда.
- Должен быть максимально эффективным.
Предлагаемое доказательство
В настоящее время единственное, что я знаю, это хороший набор тестов.
Эта статья является частью серии «Первые принципы программирования»:
- Цель — О чем этот сериал
- Аудитория — для кого этот сериал
- Требования к программному обеспечению
- Посылка — минимум информации
- Предпосылка — Мы должны понимать, что делаем
- Предпосылка — свести к минимуму распространение изменений по всей системе
- Предпосылка — сложность возрастает экспоненциально с масштабом
- Первый принцип — Докажите, что код работает (эта статья)
- Первый принцип — Принцип наименьшего удивления
- Первый принцип — Принцип наименьшего знания
- Первый принцип — Разделение интересов
- Первый принцип — Абстракция
- "Побочные эффекты"
Также предлагается:
Первоначально опубликовано на https://www.sargalias.com.