А как же проверка логики? Я когда делаю ревью, то сначала читаю задачу, а потом смотрю код, бывает, что что-то по логике не учтено или не совсем корректно сделано. Ещё у джунов иногда бывают проблемы с именованием методов, тоже на ревью стараюсь писать о таком.
TDD + % покрытие кода.
Если ещё и собирать аналитику по тому какие модули сколько ошибок выдают, то можно вывести корреляцию с % покрытия и кол-ом критических багов. Не занимался пока, но хочу.
Для проверки именования есть статический анализатор, который выдаёт warning на неправильное именование.
А при 10 таких warning’ах PR не принимается вообще. А в сообщении пишется причина.
Но вообще все правила именования встроены в IDE и она сама тебе скажет где не правильно.