Một ví dụ là máy tính chỉnh sửa kiểm tra được xây dựng vào hệ thống để xem lại định dạng , sự tồn tại , và reasonableness của dữ liệu .
Máy chỉnh sửa kiểm tra là một ví dụ , nhưng nó có thể thay đổi trong tương lai .