. quyết định chọn đề tài Nghiên cứu phương pháp xây dựng mô hình tự động cho nghiên cứu của mình. Đề tài này nhằm mục đích nghiên cứu phương pháp xây dựng mô hình tự động mô tả chính xác hành. dụng các phương pháp kiểm chứng mô hình và các phương pháp kiểm thử tự động, chúng ta phải xây dựng mô hình mô tả chính xác hành vi của hệ thống . Các nghiên cứu hiện nay về kiểm chứng mô hình. Chương 3 nghiên cứu phương pháp xây dựng tự động mô hình mô tả chính xác hành vi của một thành phần phần mềm. Trong chương này, chúng tôi đề xuất hai giải pháp cho việc xây dựng mô hình thành