Инструменты LDRA для верификации ПО: Динамическое тестирование