Describir: Automatická analýza správ ústredne S12 a jej využitie pri off-line testovaní softwérových modulov :