, я использую инструмент создания тестов под названием KLEE, который создает множество тестов для моего C99-кода. После этого я запускаю тесты и проверяю покрытие строки с помощью gcov. Кажется, Gcov обновляет данные о покрытии в конце ...

http://klee.llvm.org/ - это инструмент анализа программ, который работает символьное выполнение и разрешение ограничений, поиск возможных входных данных, которые вызовут сбой программы, и вывод их в виде тестовых примеров ....