Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 57 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC C ÔNG NGHẸĐOÀN THỊ THÚY LINHNGHIÊN CỨU PHƯƠNG PHÁP SNH CA KIÉM THỬ TƯ MÔ HÌNH MÁY HƯU HẠN TRẠNG THÁINgành: Công

Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái g nghệ thông tinChuyên ngành: Còng nghệ phân mềmMã số: 60 48 10TÓM TẤT LUẬN VÃN THẠC sĩHà nội, 20123MỤC LỤCDANH SÁCH BÀNG.............................

......................5DANH SÁCH HÌNH VẼ................................................6DANH MỤC CÁC CHỮ VIẾT TẢT.................................... Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

....7Chương 1. GIỚI THIỆU.............................................81.1.Đặt vấn đề................................................81.2.Nội dung ngh

Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

iên cửu.......................................81.3.cấu tiúc luận vàn.........................................8Chương 2. MÁY HỮU HAN TRẠNG THÙ (FSM)...

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC C ÔNG NGHẸĐOÀN THỊ THÚY LINHNGHIÊN CỨU PHƯƠNG PHÁP SNH CA KIÉM THỬ TƯ MÔ HÌNH MÁY HƯU HẠN TRẠNG THÁINgành: Công

Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái ..112.2.1.Biếu dicn kicu liệt ke...............................112.2.2.Bicu dicn bang đồ thị................................122.2.3.Bicu dicn bảng dạn

g bang.............................122.3.Một sổ tính clìắl cua FSM................................132.3.1.Được dặc tá dầy dù (Completely specified)... Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

...........132.3.2.Đơn định (Deterministic)...............................142.3.3.Liên thông mạnh (Strongly connected).................152.3.4.rối giá

Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

n (Reduced).....................................16Chương 3. MỘT SÓ PHƯƠNG PH ÍP XÁC ĐỊNH CHUỒI KIỂMCHỦNG TRẠNG THÁI...................................

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC C ÔNG NGHẸĐOÀN THỊ THÚY LINHNGHIÊN CỨU PHƯƠNG PHÁP SNH CA KIÉM THỬ TƯ MÔ HÌNH MÁY HƯU HẠN TRẠNG THÁINgành: Công

Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái 1.2.Thuật toán sinh cây ƯIO..............................203.2.Chuồi phân biệt (Distinguishing sequence) [5]............253.2.1.Một so khái niệm......

...............................253.2.2.Thuật toán sinh cây DS...............................273.3.Chuồi dặc trưng (Characterizing sequence) [2]....... Luận văn thạc sĩ nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

.....29

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC C ÔNG NGHẸĐOÀN THỊ THÚY LINHNGHIÊN CỨU PHƯƠNG PHÁP SNH CA KIÉM THỬ TƯ MÔ HÌNH MÁY HƯU HẠN TRẠNG THÁINgành: Công