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