Quá trình phân tích một mục phần mềm để phát hiện sự khác biệt giữa các điều kiện hiện tại và yêu cầu (có nghĩa là, lỗi) và để đánh giá các tính năng của sản phẩm phần mềm.