Автоматизированный анализ и тестирование программного обеспечения микропроцессорных устройств