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