Một công cụ phần mềm nhận dạng mã nguồn đầu vào, kiểm tra tiêu chuẩn, thông số kỹ thuật hoặc các định nghĩa cấu trúc dữ liệu; sử dụng các đầu vào để tạo ra các bài kiểm tra đầu vào dữ liệu; và, đôi khi, xác định kết quả mong đợi.