Код ещё не запущен, а баг уже найден: статическое и динамическое тестирование