nếu, như @sgrove đề xuất, các đặc tả là mã của tương lai, thì gỡ lỗi là gì? 1) biên dịch đặc tả là quá trình một tác nhân lập trình chuyển đổi các đặc tả thành mã 2) ngày càng nhiều "biên dịch" sẽ không cần giám sát, ít theo dõi tác nhân làm việc từng khác biệt, nhiều hơn là đặc tả vào, mã ra 3) lỗi kiểu -> lỗi sự thật : hầu hết việc gỡ lỗi sẽ là đào sâu vào nghiên cứu và kế hoạch thực hiện trong markdown để tìm ra một dòng ngữ cảnh không chính xác khiến tác nhân lập trình không thành công khi thực hiện. Các bộ kiểm tra sẽ, bên cạnh những thứ khác, kiểm tra sự thật và tính nhất quán logic. 4) có một hương vị bậc cao mới của "gắn bước gỡ lỗi" mà là theo dõi tác nhân thực hiện một kế hoạch từng bước để xác định lỗi logic trong đặc tả. Khi bạn tìm thấy một lỗi khi bước qua một chương trình từng dòng một, bạn thay đổi mã, khởi động lại quá trình, và lặp lại cho đến khi nó hoạt động. Khi bạn tìm thấy một lỗi trong một *đặc tả* trong khi bước qua một quá trình thực hiện, bạn quay ngược lại, sửa đặc tả, và khởi động lại *quá trình thực hiện*.