Nghiên cứu phương pháp xây dựng tự động
mô hình

Lê Bá Cường

Trường Đại học Công nghệ
Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10
Người hướng dẫn: TS. Phạm Ngọc Hùng
Năm bảo vệ: 2011

Abstract: Mô tả các phương pháp hình thức cho đặc tả phần mềm, các khái niệm về
thành phần phần mềm, đặc tả thành phần phần mềm, máy hữu hạn trạng thái, hệ
chuyển trạng thái được gán nhãn và ôtômát hữu hạn trạng thái. 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. Qua đó đề xuất giải pháp cho việc xây dựng mô hình thành phần phần mềm.
Đưa ra kết quả thực nghiệm: công cụ sinh mô hình của một thành phần phần mềm và ý
nghĩa công cụ xây dựng mô hình.

Keywords: Công nghệ thông tin; Mô hình tự động; Công nghệ phần mềm

Content
Công nghệ phần mềm hướng thành phần đang được xem như là một phương pháp hiệu
quả cho phát triển phần mềm. Với công nghệ này, chúng ta có thể giảm thiểu thời gian và
công sức trong khi vẫn đảm bảo được chất lượng phần mềm. Công nghệ hướng thành phần
giúp cho việc xây dựng cũng như tiến hóa phần mềm rất nhanh chóng bằng việc tái sử dụng
và tích hợp các thành phần phần mềm. Các ứng dụng được xây dựng bằng cách tích hợp các
thành phần độc lập cùng tương tác với nhau. Các thành phần này có thể được xây dựng nên
bởi nhà phát triển phần mềm hoặc bởi bên thứ ba.
Một trong những vấn đề cấp thiết và khó khăn nhất của công nghệ hướng thành phần
là làm thế nào để đảm bảo rằng các thành phần phần mềm có thể cộng tác được với nhau để
đạt được mục tiêu của hệ thống. Giải pháp phổ biến hiện nay để giải quyết vấn đề này là áp

hữu hạn trạng thái và các khái niệm liên quan.
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 phần phần mềm. Giải pháp thứ nhất là xây dựng mô hình sử dụng
thuật toán học L
*
. Đây là phương pháp học lặp đi lặp lại để xây dựng mô hình ứng viên tương
ứng với thành phần phần mềm C. Ở mỗi bước lặp, chúng ta sẽ kiểm tra tính tương thích giữa
mô hình ứng viên với thành phần C và cập nhật lại mô hình ứng viên nếu không tương thích.
Giải pháp thứ hai là xây dựng mô hình sử dụng thuật toán Thompson [11]. Phương pháp này
xây dựng ôtômát hữu hạn như một mô hình mô tả chính xác hành vi của thành phần phần
mềm C tương đương với biểu thức chính quy sinh tập dẫn xuất trên C.
Chương 4 giới thiệu về kết quả thực nghiệm. Chương này trình bày những kết quả đạt
được, công cụ sinh mô hình của một thành phần phần mềm và áp dụng cho một số ví dụ cụ
thể.
Cuối cùng là phần kết luận, định hướng mở rộng và tài liệu tham khảo.

References
Tiếng việt

3
[1] Nguyễn Văn Ba (2002), Ngôn ngữ hình thức, NXB Khoa học và kỹ
thuật, Hà Nội.
[2] Đoàn Văn Ban (2007), Ôtômát và ngôn ngữ hình thức, Đại học Thái
Nguyên.
[3] Đỗ Đức Giáo (2004), Toán rời rạc, NXB đại học QGHN.
[4] Đặng Huy Ruận (2002), Lý thuyết ngôn ngữ hình thức và ôtômát, NXB
Đại học QGHN.
Tiếng Anh
[5] A.Nerode (1958), "Linear Automaton Transformations", Proc. of the