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