Инструменты LDRA для верификации ПО: Сбор покрытия MC/DC