1. Trang chủ
  2. » Luận Văn - Báo Cáo

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

58 399 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 58
Dung lượng 1,3 MB

Nội dung

Ngày đăng: 25/03/2015, 10:22

Xem thêm

HÌNH ẢNH LIÊN QUAN

Hình 2.1: Ví dụ về LTSs 2.2. Dẫn xuất (Traces) - 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
Hình 2.1 Ví dụ về LTSs 2.2. Dẫn xuất (Traces) (Trang 12)
Hình 2.2: LTS của Input || Output 2.4. LTS an toàn và thuộc tính an toàn - 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
Hình 2.2 LTS của Input || Output 2.4. LTS an toàn và thuộc tính an toàn (Trang 13)
Hình 2.3. LTS của thuộc tính an toàn 2.5. Sự thỏa mãn (Satisfiability) - 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
Hình 2.3. LTS của thuộc tính an toàn 2.5. Sự thỏa mãn (Satisfiability) (Trang 14)
Hình 2.4: Tính ghép nối Input || Output || p err . - 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
Hình 2.4 Tính ghép nối Input || Output || p err (Trang 15)
Hình 2.5: Minh hoạ tạo LTS an toàn từ một DFA. - 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
Hình 2.5 Minh hoạ tạo LTS an toàn từ một DFA (Trang 15)
Hình 2.6: Bài toán và tư tưởng chính của cách tiếp cận xác minh đảm bảo giả thiết. - 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
Hình 2.6 Bài toán và tư tưởng chính của cách tiếp cận xác minh đảm bảo giả thiết (Trang 16)
Hình 3.1: Minh hoạ mối quan hệ giữa Teacher và L* learner. - 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
Hình 3.1 Minh hoạ mối quan hệ giữa Teacher và L* learner (Trang 19)
Hình 3.2: Một sơ đồ khối để tạo giả thiết sử dụng giải thuật L* [4]. - 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
Hình 3.2 Một sơ đồ khối để tạo giả thiết sử dụng giải thuật L* [4] (Trang 21)
Hình 3.3 Các thành phần và thuộc tính yêu cầu của hệ thống minh họa - 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
Hình 3.3 Các thành phần và thuộc tính yêu cầu của hệ thống minh họa (Trang 24)
Hình 3.4 Bảng quan sát rỗng và bảng quan sát sau khi cập nhật - 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
Hình 3.4 Bảng quan sát rỗng và bảng quan sát sau khi cập nhật (Trang 25)
Bảng quan sát sau khi cập nhật được thể hiện trong Hình 3.4 chưa phải là bảng đóng bởi dòng out trong S. không khớp với dòng nào trong S - 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
Bảng quan sát sau khi cập nhật được thể hiện trong Hình 3.4 chưa phải là bảng đóng bởi dòng out trong S. không khớp với dòng nào trong S (Trang 25)
E. Bảng quan sát S, E, T sau khi thêm ack vào E được minh họa trong Hình 3.6. Bảng này tiếp tục được cập nhật bằng cách tạo truy vấn thành viên tới Teacher, nghĩa là ack - 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
Bảng quan sát S, E, T sau khi thêm ack vào E được minh họa trong Hình 3.6. Bảng này tiếp tục được cập nhật bằng cách tạo truy vấn thành viên tới Teacher, nghĩa là ack (Trang 26)
Hình 3.7: Bảng sau khi thêm send vào S, bảng sau khi cập nhật và giả thiết ứng cử viên A 2 - 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
Hình 3.7 Bảng sau khi thêm send vào S, bảng sau khi cập nhật và giả thiết ứng cử viên A 2 (Trang 27)
Hình 4.1: Các thành phần của hệ thống trong ví dụ được xét. - 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
Hình 4.1 Các thành phần của hệ thống trong ví dụ được xét (Trang 29)
Hình 4.3: Giả thiết được tạo ra bởi giải thuật tạo giả thiết tối thiểu. - 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
Hình 4.3 Giả thiết được tạo ra bởi giải thuật tạo giả thiết tối thiểu (Trang 29)

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

Phương pháp sinh giả thiết tối thiểu

Kỹ thuật cải tiến cho việc trả lời các câu hỏi kiểm tra thành viên

Giải thuật sinh giả thiết tối thiểu

Giải thuật cải tiến tạo giả thiết tối thiểu Đặc điểm không gian tìm kiếm Tính dừng và tính đúng đắn của giải thuật

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN