Человек по моему ясно показал, как можно без всяких тестов провести анализ кода. А вы все про свое. А вот возьмите пример посложнее.
Ту же файловую систему.
Я боюсь вы там не найдете примитивный набор типовых и граничных случаев.
Вообще не найдете с какого конца ее тестировать чтобы найти максимум багов. Такая она жизнь ;-)