Describir: Softvérovo implementovaná detekcia chýb v toku programu