Это свойство программных систем также иногда называют принципом открытости/закрытости, подразумевающим, что системы должны быть открыты для расширения (дополнения), но закрыты для изменения.
Свойства, которые мы не проверяем в коде явно (или проверяем только с помощью утверждений), называются инвариантами. Утверждения «Это число никогда не будет отрицательным» и «Этот файл точно существует» являются примерами инвариантов.
Автоматизированные тесты в разработке ПО сродни тормозам у автомобилей. Мы оборудуем авто тормозной системой не потому, что хотим ехать медленно, а для того, чтобы быстрая езда была безопасной