MỤC LỤC

Bảng các kí hiệu nghĩa tiếng anh V

Danh mục hình vẽ VI

CHƯƠNG 1: MỞ ĐẦU 1

1.1 Đặt vấn đề 1

1.2 Nội dung bài toán 1

1.3 Cấu trúc khóa luận 2

CHƯƠNG 2: GIỚI THIỆU CHUNG VỀ ĐẶC TẢ VÀ GIAO DIỆN 3

2.1 Công nghệ phần mềm hướng thành phần 3

2.2 Đặc tả hình thức 3

2.2.1 Các phương pháp hình thức 4

2.2.2 Đặc tả 4

2.2.3 Đặc tả hình thức 5

2.3 Giao diện 5

2.3.1 Đặc tả giao diện 5

2.3.2 Thành phần và giao diện 6

2.3.3 Các loại interface 6

2.3.4 Statelful và stateless interface 7

2.3.5 Relational interface 8

CHƯƠNG 3: NỘI DUNG LÝ THUYẾT VỀ RELATIONAL INTERFACE 9

3.1 Sơ bộ về bài viết và các ký hiệu 9

3.2 Relational interfaces 10

3.3 Môi trường và khả năng lắp ghép 13

3.4 Kết hợp 15

CHƯƠNG 4: XÂY DỰNG CÔNG CỤ CHUYỂN ĐỔI TỰ ĐỘNG TỪ JAVA SANG RELATIONAL INTERFACE 21

4.1 Cở sở lý thuyết 21

4.1.1 Các thành phần của lớp trong ngôn ngữ lập trình hướng đối tượng 21

4.1.2 Relational interface 22

4.1.3 Một số kiến thức về logic 23

4.2 Mục tiêu của bài toán 25

4.3 Hướng giải quyết bài toán 25

4.3.1 Tạo relational interface tự động từ phương thức 25

4.3.2 Tính input assumption tự động 27

4.3.3 Tính ξ mới được tạo ra tự động 27

4.3.4 Thực hiện việc kết hợp tự động 27

4.4 Mô tả các thành phần của công cụ 28

4.4.1 Lớp SourceFormat.java 30

4.4.2 Lớp RInterface.java 30

4.4.3 Lớp JavaFile.java 31

4.4.4 Lớp JavaClass.java 32

4.4.5 Lớp Tools.java 33

4.4.6 Lớp Expresstion.java 37

4.4.7 Lớp FOLOptimizer.java 39

CHƯƠNG 5: CÀI ĐẶT VÀ THỬ NGHIỆM 41

5.1 Xây dựng công cụ 41

5.2 Dữ liệu thử nghiệm 42

5.3 Kết quả thử nghiệm 43

5.3.1 Phân tích file mã nguồn 43

5.3.2 Chuyển những phương thức này thành relational interface 44

5.3.3 Kết hợp các interface 46

5.3.4 Dự đoán kết quả: 47

5.4 Đánh giá 48

CHƯƠNG 6: KẾT LUẬN 49

6.1 Kết luận về khóa luận 49

6.2 Hướng phát triển trong tương lai 49

Phụ lục 51

Phụ lục 1: Nội dung mã nguồn file thử nghiệm Sample.java 5