История изменений
Исправление hateyoufeel, (текущая версия) :
Зависит от критичности системы. Если в случае фэйла ущерб минимален, то тестирование и code review. Если же всё будет очень плохо, к этому добавляется формальная верификация.
Исходная версия hateyoufeel, :
Зависит от критичности системы. Если в случае фэйла ущерб минимален, то тестирование code review. Если же всё будет очень плохо, к этому добавляется формальная верификация.