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 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: DANH llinh 1. — Vai trẻ của Ontology trong Công Nghệ Phần Mễm.
Môhinhhệ théng SAW. Môhinh quy trình xử lý 3 pha. 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ó.
— Các khái niệm cơ bằntrong kiểm thử phan M&M. Các khái niệm liên quan đến Tester. Ngữ Canh kiém thi 2 Hinh 9. Cac hoal déng idm thi.
Các phương pháp kiểm thử. Các cầu phần sử dụng cho kiểm thử,. Môi trường kiểm thử. Tác vụ kiểm thử 38 Hinh 14.
Qui trìnhsinh ca kiểm thử cho các hệ thống tập trung. Một ví dụ sinhca kiểm thử dựa trên máy trạng thải UML. Ca kiểm thử tÍ của bộ ca kiểm thử trừu tượng thoả mãn mục tiêu kiểm thế 34 Hình 17. Một phân cửa ca kiểm thử trừu tượng được tạo ra clo mục tiêu kiểm thử cho trước -35 Hinh 18.
Môi phẩn cửa bộ ca kiếm thủ có thẻ thực thí được tạo ra từ ca kiểm thử trừu tượng -35 Tình 19. Kiến trúc của Framework kiểm (hit ¢Cal 39 Hinh 20. Hinh mình hoạ Ontology tương tác trao đổi sách. Qui trinhsinh ca kiểm thủ cho hệ thông đa tác tử 43 Tình 23.
Vĩ dụ về câu trúc của từ điển 49 32 Hướng phát triển 91 TÀI LIÊU THAM KHẢO. HH HH” HH HH gu ey 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 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: 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 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 32 Hướng phát triển 91 TÀI LIÊU THAM KHẢO. HH HH” HH HH gu ey 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: Tỉnh 23 Tanh sách từ và trọng số 51 Hình 24 Ontology Ket quà. Các khái niệm tang quate 6L Hinh 26. Các khái niệm cơ bản. 62 Tĩmh 27 Các khái niệm về dữ liệu kiểm thứ 63 Hình 28.
Các khái niệm về thông tin đặc tả ca kiểm thữ. Khái niệm kỹ thuật kiểm thử 65 Tình 30. Khải mềm lổng hợp. 66 Hình 31 Quan hệ giữa đữ liệu kiểm thủ và tải liệu tham chiểu.7 Tĩnh 32 Quan hệ giữa Methed, Approach và Techniqne 67 Hình 33.
Quan hệ giữa đữ liệu trích xuất với thông tin đặc tả ca kiểm thứ. 62 Tinh 34 Quan hệ giữa một số thông tin sơ bản 70 Tĩmh 35. Quan hệ giữa thông tin dau vao, daura, muc dich test 70 Hinh 36. Các lớp tổng quan.
x“ llỉnh 37 Các khái niệm cơ bàn về kiểm thủ. 72 Hình 38 Các khái niệm vê đữ liệu kiểm thử T3 Hinh 39. Các khái niệm vệ dữ liệu. Các khái niệm về kỳ thuật kiểm thử.
76 Hinh 41 Danh sách thuộc tính kiểu dồi tượng. Danh sách thuộc tính kiểu nguyên thưỷ. Minh hea trén Protege — Mét Module bao gém nhiéu Function 81 Hinh 44 Minh hea trén Protege — Một Function bao gồm nhiều Flow. Minh hoa trén Protege Thông tinoủa Flaw.B3 Tĩmh 46 So dé minh hoa quan hé giita.céc Lhuc thé brong ontology 84 Hình 47 Minh hoạ truy vẫn trên Protege.
Minh hoa truy van trén Protege Bo 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 Tỉnh 23 Tanh sách từ và trọng số 51 Hình 24 Ontology Ket quà. Các khái niệm tang quate 6L Hinh 26. Các khái niệm cơ bản. 62 Tĩmh 27 Các khái niệm về dữ liệu kiểm thứ 63 Hình 28.
Các khái niệm về thông tin đặc tả ca kiểm thữ. Khái niệm kỹ thuật kiểm thử 65 Tình 30. Khải mềm lổng hợp. 66 Hình 31 Quan hệ giữa đữ liệu kiểm thủ và tải liệu tham chiểu.7 Tĩnh 32 Quan hệ giữa Methed, Approach và Techniqne 67 Hình 33.
Quan hệ giữa đữ liệu trích xuất với thông tin đặc tả ca kiểm thứ. 62 Tinh 34 Quan hệ giữa một số thông tin sơ bản 70 Tĩmh 35. Quan hệ giữa thông tin dau vao, daura, muc dich test 70 Hinh 36. Các lớp tổng quan.