Ngày nay công nghệ thông tin đã được ứng dụng vào tất cả các lĩnh vực trong đời sống xã hội, từ những ứng dụng đơn giản nhất đến các ứng dụng phức tạp, từ những ứng dụng gia đình đến các ứng dụng cho các tổ chức lớn đều có mặt các sản phẩm công nghệ thông tin. Có thể nói nó đã làm thay đổi diện mạo xã hội, đưa nền văn minh nhân loại lên một tầng cao mới. Một phần quan trọng của Công nghệ thông tin là Công nghệ phần mềm . Cùng với sự phát triển vượt bậc của các công nghệ phần cứng đã hỗ trợ cho Công nghệ phần mềm phát triển mạnh mẽ. Hiện nay, phần mềm được coi là sản phẩm chính của công nghệ thông tin, quá trình làm phần mềm thông thường được trải qua quy trình nghiêm ngặt. Quy trình này được chia ra làm nhiều giai đoạn : thu thập yêu cầu, phân tích, thiết kế, xây dựng, kiểm tra., triển khai và bảo trì phần mềm. Đối với phần mềm, việc đảm bảo chất lưng của phần mềm là vô cùng quan trọng. Do đó, vấn đề đặt ra là phải kiểm tra, xác định và sửa được các lỗi phát sinh trong quá trình sản xuất phần mềm, đó là công việc của giai đoạn kiểm tra. Việc phát hiện lỗi phần mềm càng muộn thì gây hậu quả càng lớn, tốn nhiều thời gian và công sức sửa lỗi, thậm chí có thể phải xây dựng lại toàn bộ hệ thống từ đầu, có khi gây thất bại cho toàn dự án phần mềm. Chính vì vậy các phương pháp phát hiện lỗi sớm để giảm thiểu công sức để sửa chúng ra đời. Để phát hiện hiện những lỗi phần mềm, phần mềm phải được kiểm chứng(Verification) và thẩm định(Valication)[5]. Kiểm chứng phần mềm là kiểm tra xem phần mếm có thiết kế đúng và thực thi đúng như đặc tả không yêu cầu không. Thẩm định phần mềm là giai đoạn có sự hỗ trợ của khách hàng nhằm kiểm tra xem phần mềm có đáp ứng được yêu cầu của họ không. Mục đính chính của kiểm chứng phần mềm là làm giảm thiểu số lỗi mà phần mềm có thể gặp đến mức thấp nhất có thể chấp nhận được. Chính vì vậy, nó có vai trò vô cùng quan trọng trong toàn bộ quy trình phát triển phần mềm cũng như trong ngành phát triển phần mềm hiện nay. Nó thu hút được mối quan tâm của nhiều nhà nghiên cứu. Giai đoạn kiểm thử có mục đích kiểm tra tính đúng đắn của sản phầm phần mềm, kiểm tra xem có đáp ứng được nhu cầu bài toán đặt ra không. Trong thực tế, các thao tác kiểm thử đơn vị thông thường dựa vào một tập các ca kiểm thử đầu vào và các đầu ra tương ứng. Do vậy, chỉ kiểm tra được tính đúng sai của đầu vào và đầu ra của chương trình, không kiểm tra được quá trình hoạt động cuả chương trình có theo đúng đặc tả ban đầu hay không. Việc không kiểm hợp chúng thành chương trình lớn.