zero-defects

3 статьи

26 июл. 2026 г.

Zero-Defect Process IBM обеспечил 0,1 bug на KLOC. Промышленность всё равно отказалась от него.

Cleanroom engineering IBM достиг defect rate в 100 раз лучше промышленного среднего, а затем исчез в забвении. Исчезновение не имело ничего общего с тем, работал ли он.

25 июл. 2026 г.

Кто-то действительно верифицировал 10 000 строк с нулевым количеством дефектов? IBM сделала это, и методология страннее результата.

Cleanroom software engineering обещала инкременты с нулевым количеством дефектов через mathematical verification вместо debugging. Мы смотрим на реальные данные проекта IBM, чтобы проверить, выдержал ли этот тезис.

cleanroom-correctness zero-defects verification case-study

23 июл. 2026 г.

IBM поставляла ПО с 0,1 дефектами на KLOC, запрещая разработчикам запускать собственный код

Процесс Cleanroom-инжиниринга IBM достиг дефектности в 100 раз лучше отраслевого среднего, предотвращая баги вместо их поиска. Вот как это работало, почему почти никто это не использует и что вы можете позаимствовать из него сегодня.

cleanroom-correctness ibm zero-defects software-quality