- Tối ưu việc sinh giả thiết bằng giải thuật học L*. - cho kiểm chứng từng phần phần mềm dựa trên thành phần. - Giải thuật học L*. - Phát triển phần mềm dựa trên thành phần được biết đến là sự phát triển phần mềm bằng cách ghép nối các thành phần độc lập. - Tuy nhiên, một trong những hạn chế của nó là vấn đề đảm bảo tính đúng đắn của hệ thống khi ghép nối các thành phần khác nhau vì các thành phần có thể được phát triển một cách độc lập hoặc đặt mua từ một bên thứ 3. - Hiện tại các công nghệ hỗ trợ phát triển thành phần như CORBA, COM/DCOM or .NET (Microsoft), Java and JavaBeans (SUN. - chỉ có hỗ trợ việc ghép nối các thành phần. - Chúng không có cơ chế kiểm tra liệu các thành phần có bị lỗi khi ghép nối với nhau hay không. - Một giải pháp phổ biến hiện nay để giải quyết cho vấn đề trên là áp dụng kiểm chứng mô hình [5]. - Một trong những cách tiếp cận tiềm năng để giải quyết vấn đề này là áp dụng kiểm chứng từng phần [5,6]. - Để áp dụng phương pháp này, một số tác giả đã đề xuất phương pháp sinh giả thiết bằng giải thuật học có tên là L* [1,7] phục vụ cho kiểm chứng từng phần như [11, 12]. - Tuy nhiên, các nghiên cứu này chưa quan tâm đến việc tối ưu hóa kích thước của các giả thiết. - Hơn nữa, kích thước của giả thiết là rất quan trọng vì nó trực tiếp ảnh hưởng đến hiệu quả và độ phức tạp của quá trình kiểm chứng. - Một giả thiết có kích thước nhỏ cũng hiệu quả hơn trong việc kiểm chứng lại hệ thống trong tương lai đặc biệt là trong ngữ cảnh tiến hóa phần mềm. - Phương pháp tối ưu sinh giả thiết tối thiểu bằng giải thuật học L* đã được đề xuất trong [9, 10] nhằm bước đầu giải quyết vấn đề này. - Tuy nhiên, phương pháp này còn nhiều hạn chế về độ phức tạp của thuật toán tối ưu.. - Dựa trên cơ sở của [9, 10], luận văn này tiếp tục nghiên cứu nhằm hoàn thiện phương pháp này. - Luận văn cũng sẽ tiến hành xây dựng công cụ hỗ trợ và áp dụng các ví dụ nhằm chỉ ra tính hiệu quả của phương pháp cải tiến.. - hữu hạn trạng thái, vấn đề đảm bảo giả thiết. - Giải thuật học L* và phương pháp sinh giả thiết bằng giải thuật học L* sẽ được trình bày trong chương 3.Chương 4 trình bày phương pháp sinh giả thiết tối thiểu cho việc kiểm chứng phần mềm hướng thành phần. - Trong chương này cũng sẽ trình bày chi tiết một cải tiến cho phương pháp sinh giải thiết tối thiểu. - Phương pháp này giúp giảm thời gian và cả chi phí cho việc sinh giả thiết bằng cách áp dụng giải thuật tìm kiếm theo chiều sâu lặp (Interatice Deepening). - Trong chương này cũng trình bày kết quả thực nghiệm chứng minh cho tính đúng đắn và hiệu quả của phương pháp cải tiến