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