Trong tiến trình phát triển phần mềm, giai đoạn kiểm thử đóng một vai trò rất quan trọng. Một sản phẩm phần mềm chưa thể gọi là hoàn thiện nếu chưa thực hiện nghiêm túc giai đoạn kiểm thử. Do tính phức tạp gia tăng của các hệ thống phần mềm và nhu cầu về đảm bảo chất lượng phần mềm, kiểm thử đã trởthành một phần của tiến trình chung trong việc đảm bảo chất lượng phần mềm. Kểtừkhi biểu đồtrạng thái được giới thiệu, nó đã trởthành một công cụphổbiến cho các hệthống mô hình hóa phần mềm. Hiện nay biểu đồ trạng thái là một chuẩn trong ngành công nghiệp đối với hành vi mô hình hóa hệ thống vì vậy nó có thểthực hiện được yêu cầu cho việc thiết kếkiểm thử. Kiểm thửdựa trên biểu đồtrạng thái là một hình thức kiểm thử được thực hiện trong đó sử dụng các mô hình nghữ nghĩa như máy trạng thái, biểu đồchuyển trạng thái. Các mô hình này biểu diễn các đặc tảvà được sửdụng đểchứng minh hành vi của hệthống hoặc của các đối tượng. Với mong muốn tìm hiểu và ứng dụng kỹthuật kiểm thửnày vào trong thực tế đó là lý do vì sao tôi chọn đề tài “Nghiên cứu phương pháp kiểm thửdựa trên biểu đồtrạng thái” dưới sựhướng dẫn của TS. Nguyễn Thanh Bình.