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