Я так думаю, что критерий "степень покрытия кода" 100% (без использования всяких там ущербных аналогов gprof) это доказуемый критерий того, что все ветки программы выполнились; сей факт не является доказательством правильной работы ветки, а http://www.keil.com/support/man/docs/uv4/uv4_tp_limits.htm
http://www.keil.com/support/man/docs/uv4/uv4_db_tp_features.htm
доказательством её выполнения.
Соответственно, разработка тестов должна быть такой, чтобы покрытие приближалось к 100%.
Пример трассы сейчас не приведу, он экспортируется в неудобоваримом текстовом виде в Keil (без C++test), данные профилирования вообще не экспортируются. Обрабатывать её я не собираюсь.
Про SWO/SWD/ETM я в курсе, читаю оригинальные документы (хотя приведённый вами более подробный). Также я в курсе того, что через SWO можно тоже вывести трассу, в ущербном варианте.
Хотя сейчас там обнаружил команду LOG
http://www.keil.co …ocs/uv4/uv4_cm_log.htm для записи результатов покрытия в файл.