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