Luận văn tìm hiểu và xây dựng ca kiểm thử phần mềm Ứng dụng ontology

Chương 1: Téng quan vé img dung artology trong công nghệ phần mềm và kiểm thử phan mém Chương 2: Các nghiên cửu ứng dung ontology trong việc sinh oa kiểm thử Chương 3: Xây dụng ontology

Trang 1

TÔNG QUAN VỀ ỨNG DỤNG ONTOLOGY TRƠNG CÔNG NGIIÿ PHÀN MÙM

1 Vai trò của ontology trong céne nghé phan mém -H

3 Phân loại orlology trong quy trinh phát triển phân mềm 13

3.1 Giới thiệu mô hình áp dụng ontology seeeeereerrrreeoeoe TP

3.1.1 Mô hình đữ liệu mê phỏng hệ thống 0 nererrrrareooer T7

3.1.2 Sinh bộ kiểm thữ co HH nueneeeiaiaassseosoeusae T8

3.2 Đanh giá phương pháp sinh ca kiểm thử đựa trên omology 20

4 Mô hình ontology kiêm thử phần mềïm neo 22

CÁC NGHIÊN CUU UNG DUNG ONTOLOGY TRONG VIỆC SINH CA KIỂM

Trang 2

1 Phương pháp sinh ca kiểm thử dua trên ortology

1.1 Phương pháp sinh ca kiểm thử cho các hệ thống cổ dịnh -cc

1.1.1 Qui trình thực hiện

1.1.2 Các giai đoạn sinh ca kiểm thử thông qua vỉ dụ sec eeceerree 1.1.3 Kết luận

1.2 Phương pháp sinh ca kiểm thử cho hệ thông da tác tử

1.2.1 Hệ thông kiểm thử tích hợp ontology tương tác tử

1.2.2 Sinh ca kiểm thử dựa trên orttology nu ierrerrrree

1.2.2.1 Ontology tuong tac tử

1.2.2.2 Ontology chuyén sau va si liên kết giữa cdc ontology

1.2.2.3.Qui Irình thục hiện

2 Phương pháp xây dụng onlology kiểm thử bán tự động se secoe

2.1 Tổng, quan

3.2 Cáo bước thực hiện

3.3.1 Liệt kê các khái niệm quan trọng của lĩnh vực

3.2.2 4 Tạo đỏ thị khía cạnh

2B RSE QUA veces sesessenensessassusetesansanseisntesssievasiansessasetassisanianseisnsenassivasaseeiee

CHUONG 3

XÂY DỤNG ONTOLOGY VA MINH HOA CA KIEM THU PHAN MÊM

1 Qui trình xây dựng omology

Trang 3

2 Thiết kế kiến trúc phân tầng và quan hệ trong ontology - él 3.1 Khái niệm tổng quát series Ợ

2.3 Khái niệm vẻ dữ liệu kiểm thử se Hee eeeeeosoeoe

2.4 Khải niệm về kỹ thuật kiểm thủ - -64

2.5 Khái niệm tổng hợp

3 Xây dụng ontolosy trên Protege à eeieeerrrreiierirrrraeirere Z1

3.1.1 Các lớp tổng quan 7

3.1.3 Các khải niệm vẻ đữ liệu kiểm thữ neeiirreiioeosoeiia 73)

3.1.5 Các khải niệm về kỹ thuật trong kiểm thử phân mễm TỔ 3.2 Danh sách thuộc tình kiểu đồi tượng o0 neinerreirrrorore Z7)

3.3 Danh sách thuộc tính kiên ngưyễn thủy 79

4 Tạo thê hiện cho ontology

5.1, Tim kiểm thơng tin cho các ca kiểm thủ của một chức năng cụ thể 85 5.2 Tìm kiếm thơng Lin cho các ca kiểm thử phát sinh lỗi 87

KÉT LUẬN VÀ HƯỚNG PHÁTT TRIỄN 052tr ĐO

Trang 4

Chương 1: Téng quan vé img dung artology trong công nghệ phần mềm và kiểm thử phan mém

Chương 2: Các nghiên cửu ứng dung ontology trong việc sinh oa kiểm thử

Chương 3: Xây dụng ontology và minh hoa ca kiểm thử phần mềm

10

Trang 5

LOI CAM DOAN

Tôi cam đozn đây là công trình rehiên cứu của riêng tôi Các số liệu, kết quả nêu trong hiện văn là trưng thực và chưa từng được ai công bỏ trong bất kỳ công trình nào

khác

Tà Nội, ngày 25 tháng 03 năm 2014

Vũ Thị Thuý Hoàn

'Học viên cao học khoá 201 1B

Viện Công nghệ Thông linvà Truyền thông - Dại học Bách Khoa Hà Nội

Trang 6

Các khái niệm về thông tin đặc tả ca kiểm thữ 4

Quan hệ giữa đữ liệu kiểm thủ và tải liệu tham chiểu 7

Quan hệ giữa Methed, Approach và Techniqne 67

Quan hệ giữa đữ liệu trích xuất với thông tin đặc tả ca kiểm thứ 62

Quan hệ giữa thông tin dau vao, daura, muc dich test 70

Các khái niệm cơ bàn về kiểm thủ ào ceeeeierireesoe 72

Các khái niệm vệ dữ liệu àằieerrirrereirersoe.TE

Các khái niệm về kỳ thuật kiểm thử eeeeeosoee 76 Danh sách thuộc tính kiểu dồi tượng ccoosceseeeaee 7 Danh sách thuộc tính kiểu nguyên thưỷ co Minh hea trén Protege — Mét Module bao gém nhiéu Function 81 Minh hea trén Protege — Một Function bao gồm nhiều Flow 82

Minh hoa trén Protege Thông tinoủa Flaw B3

So dé minh hoa quan hé giita.céc Lhuc thé brong ontology 84 Minh hoạ truy vẫn trên Protege ào seeeeessrreaee.B7

Trang 7

Trang 8

LOI CAM DOAN

khác

Trang 9

Trang 10

32 Hướng phát triển

TÀI LIÊU THAM KHẢO HH HH” HH HH gu ey

91

Trang 11

10

Trang 12

10

Trang 13

Trang 14

Trang 15

Trang 16

LỜI CẮM ƠN

Trước hết, em xin được chân thành gửi lời cảm ơn sâu sắc tới các thấy cô giáo

trong trường Đại học Bách Khoa Hà Nội nói chung và các thấy cố trong Viện Công

nghệ Thông tin và Truyền thông, bộ môn Công nghệ phần mêm nởi riêng đã tận tỉnh

giảng day, truyén đạt cha em những kiến thúc, rhững kinh nghiệm quý báu trong suốt

thời gian học tập tại trường,

Em xin duoc gửi lời cảm on đến thấy Cao Tuấn Dũng - Giảng viền bộ môn Công

nghệ phân mềm, Viện Công nghệ Thông tin và Truyền thông, trường Đại học Bách

Khoa Hà Nội đã hết lỏng giửp để, hướng dẫn và chỉ dạy tận tỉnh trong quá trinh em lâm luận văn tốt nghiệp

Cuối cùng, em xin được gửi lời cảm ơn chân thành tới gia đình đã tạo điều kiện

vả giúp đỡ trong quả trình học tập, nghiên cửu và hoàn thành luận văn tốt nghiệp

Trang 17

LOI CAM DOAN

khác

Trang 18

10

Trang 19

MO DAU

Trong lĩnh vục công nghệ phần mềm hiện nay, kiểm thử phẩn mêm đóng một vai trỏ hết sức quan trong Việc kiểm thử phân mềm sẽ đảm bảo sân phẩm thỏa mãn yêu cầu của người sử dụng từng hệ thống, tủy từng yêu cầu má việc kiểm thử sẽ có

những mức độ khác nhau Tuy nhiên ở các oồng ty phản mềm hiện nay, kiểm thủ phân

mềm vẫn ở múc độ thủ công, do con người đâm nhiệm Tỉnh liên kết, tải sử dụng, tự

động trong kiểm thử phần mẻm chưa được xem xét một cách dày đủ và hệ thống, Nhận thức được vẫn để này, người làm luận văn muén tìm hiểu một công nghệ mới nhằm thúc dây và hỗ trợ kiểm thử phản mềm hiệu quả hơn

Trong quả trinh học tập, người làm luận văn đã được làm quen với công nghệ

web semantic va ontology Nhan thay kha năng lưu Irữ và truy vấn thông lin hiểu quả của ontolosy nẻn người làn luận văn dã quyết dịnh lựa chọn dễ tai tim hiểu và xây dung ca kiểm thử phin mém img dung ontology

Củng vớt thời gian được học ở trưởng kết hợp với thời gian làm luận văn, người Jam luận văn đã tìm hiểu những nghiên cứu về ứng đụng ontology và mong muốn phát triển mệt ủng dung sinh ca kiểm thử bự động dựa trên omdology Tuy nhiên vì khả năng, còn nhiều hạn ch nên mục địch của để tài sế nhằm vào các néi dung cơ bản sau

-_ Một là tổng hợp, phân tích những kết quả của thể giới trong việc ứng dụng, ontology trong kiểm thử phần mềm

~ Hai là thiết kế mội entology về lĩnh vực kiểm thử phân mêm nói chung,

~_ Ba là minh họa một số kịch bản kiểm thử don giân sử dụng ontology đã thiết

kế

Với mục đích như trên, nội dung luận văn phát triển bao gêm 3 chương:

Trang 20

DANH

llinh 1 — Vai trẻ của Ontology trong Công Nghệ Phần Mễm

lũnh 4 1ũnhminh hoạ chỉ phí của quá trình mồ tả ca kiểm thử 3L

Tĩnh 5 Hình minh hoạchi phí của việc thêm một lượng lớn Lham só a Hình 6 — Các khái niệm cơ bằntrong kiểm thử phan M&M ceed llỉnh 7 Các khái niệm liên quan đến Tester ese.ccc e 23

Hinh 9 Cac hoal déng idm thi cicssssssnesinmsetennansnsensnmtneineranennn 2S Tinh 10 Các phương pháp kiểm thử cccsessrerrreereee.Ó Hình 11 Các cầu phần sử dụng cho kiểm thử, ằs seo 2Đ Tỉnh 12 Môi trường kiểm thử con T7

nh 21 Qui trinhsinh ca kiểm thủ cho hệ thông đa tác tử 43

Trang 21

91

Trang 22

LOI CAM DOAN

khác

Trang 23

MO DAU

kế

Trang 24

LOI CAM DOAN

khác

Trang 25

LOI CAM DOAN

khác

Trang 26

91

Trang 27

MO DAU

kế

Trang 28

Trang 29

10

Trang 30

Trang 31

10

Trang 32

LOI CAM DOAN

khác

Trang 33

DANH

llinh 1 — Vai trẻ của Ontology trong Công Nghệ Phần Mễm

lũnh 4 1ũnhminh hoạ chỉ phí của quá trình mồ tả ca kiểm thử 3L

Tĩnh 5 Hình minh hoạchi phí của việc thêm một lượng lớn Lham só a Hình 6 — Các khái niệm cơ bằntrong kiểm thử phan M&M ceed llỉnh 7 Các khái niệm liên quan đến Tester ese.ccc e 23

Hinh 9 Cac hoal déng idm thi cicssssssnesinmsetennansnsensnmtneineranennn 2S Tinh 10 Các phương pháp kiểm thử cccsessrerrreereee.Ó Hình 11 Các cầu phần sử dụng cho kiểm thử, ằs seo 2Đ Tỉnh 12 Môi trường kiểm thử con T7

nh 21 Qui trinhsinh ca kiểm thủ cho hệ thông đa tác tử 43

Trang 34

LOI CAM DOAN

khác

Trang 35

LỜI CẮM ƠN

Trang 36

Trang 37

LỜI CẮM ƠN

Tiêu đề	Luận Văn Tìm Hiểu Và Xây Dựng Ca Kiểm Thử Phần Mềm Ứng Dụng Ontology
Tác giả	Vũ Thị Thúy
Người hướng dẫn	Học Viên Cao Học Khố 201 1B
Trường học	Đại Học Bách Khoa Hà Nội
Chuyên ngành	Công Nghệ Thông Tin
Thể loại	Luận văn
Năm xuất bản	2014
Thành phố	Hà Nội

Định dạng
Số trang	75
Dung lượng	149,91 KB