Tóm tắt:

Trình bày một đề xuất về hệ thống cho phép tự động kiểm tra tính chính xác của các chương trình được viết bằng ngôn ngữ lập trình “PASCAL”, bằng cách: bắt đầu tự động kiểm tra đối với một bộ dữ liệu đầu vào cố định và tương ứng là kết quả thu được, cùng với dữ liệu tham chiếu. Hệ thống này thay thế cách kiểm tra thủ công (bằng cách tạo dữ liệu từ bàn phím máy tính và phân tích trực quan kết quả).