ну технически реализация MC/DC-и аналогов сравнительно "простая" - нужно "всего лишь" преобразовать все && и || в дополнительные if-ы, и затем соответственно обработать результаты покрытия бранчей:
ну технически реализация MC/DC-и аналогов сравнительно "простая" - нужно "всего лишь" преобразовать все && и || в дополнительные if-ы, и затем соответственно обработать результаты покрытия бранчей: