Что подразумевается под термином 'проверяемое исключение' в программировании?

Проверяемое исключение (checked exception) в программировании — это тип исключений, которые компилятор требует явно обработать или объявить в сигнатуре метода с помощью ключевого слова throws.

Их цель — заставить разработчика предусмотреть обработку ошибок, которые могут возникнуть в ходе выполнения программы, например, ошибки ввода-вывода.

Пример:

public void readFile(String path) throws IOException {
    FileReader reader = new FileReader(path);
    // чтение файла
}

Здесь IOException — проверяемое исключение, и вызывающий метод должен либо обработать его в блоке try-catch, либо объявить throws дальше.