Целевым кодом является такой код, покрытие которого по состояниям, полностью не описывается покрытием по строкам/базовым блокам и ребрам.
К такому коду относятся (перечисление в порядке повышения уровня абстракций состояний):
- Структуры данных: связные списки, деревья...
- Работа с некоторыми абстракциями: например, аллокаторы памяти
- Парсеры различных форматов: например, JSON
- Десериализаторы и порождаемая ими логика: например, protobuf, pickle…
- Интерпретаторы языков программирования
- JIT компиляторы
- …