Каким образом поддерживается правильность функционирования программ