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