[Programming] Идеальный отладчик
Развивая идею коллеги potan@lj.

Если экстраполировать эту идею далее, то идеальный отладчик должен предоставлять пользователю декларативный язык для управления процессом отладки, а вернее для задания входных описаний для этого процесса: описаний отлаживаемого модуля, набора входных параметров, а далее двух наборов выходных параметров - ожидаемого и реального (случаи типа получения программой сигнала SIGSEGV также описываются в терминах этого языка как результат работы программы).
После чего отладчик запускается на выполнение и в качестве результата выполнения выдает описание автоматически найденной им ошибки: тип, положение ошибки в коде, etc, etc.
Нет сейчас времени проверять, но уверен что моя мысль из серии "уже было".
Задача очень нетривиальная, интересно, в каких границах она сейчас решена и решена ли хотя бы на сколько-нибудь.
На всякий случай замечу, что я говорю не о среде автоматического тестирования а именно об отладчике.