- 11 TỔNG QUAN VỀ ỨNG DỤNG ONTOLOGY TRONG CÔNG NGHỆ PHẦN MỀM VÀ KIỂM THỬ PHẦN MỀM. - Vai trò của ontology trong công nghệ phần mềm. - Phân loại ontology trong quy trình phát triển phần mềm. - Mô hình kiểm thử phần mềm dựa trên ontology. - Sinh bộ kiểm thử. - Đánh giá phương pháp sinh ca kiểm thử dựa trên ontology. - Mô hình ontology kiểm thử phần mềm. - Khái niệm cơ bản. - Khái niệm phức hợp. - Phương pháp sinh ca kiểm thử dựa trên ontology. - Phương pháp sinh ca kiểm thử cho các hệ thống cố định. - Các giai đoạn sinh ca kiểm thử thông qua ví dụ. - Phương pháp sinh ca kiểm thử cho hệ thống đa tác tử. - Hệ thống kiểm thử tích hợp ontology tương tác tử. - Sinh ca kiểm thử dựa trên ontology. - Phương pháp xây dựng ontology kiểm thử bán tự động. - Khái niệm tổng quát. - Khái niệm về dữ liệu kiểm thử. - Khái niệm về kỹ thuật kiểm thử. - Khái niệm tổng hợp. - Các lớp khái niệm cơ bản về kiểm thử. - Các khái niệm về dữ liệu kiểm thử. - Các khái niệm kết hợp. - Các khái niệm về kỹ thuật trong kiểm thử phần mềm. - Minh hoạ ca kiểm thử phần mềm. - Tìm kiếm thông tin cho các ca kiểm thử của một chức năng cụ thể. - Tìm kiếm thông tin cho các ca kiểm thử phát sinh lỗi. - Vai trò của Ontology trong Công Nghệ Phần Mềm. - Hình minh hoạ chi phí của quá trình mô tả ca kiểm thử. - Các khái niệm cơ bản trong kiểm thử phần mềm. - Ngữ Cảnh kiểm thử. - Các hoạt động kiểm thử. - 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ử. - Qui trình sinh ca kiểm thử cho các hệ thống tập trung. - Một ví dụ sinh ca kiểm thử dựa trên máy trạng thái UML. - Ca kiểm thử t1 của bộ ca kiểm thử trừu tượng thoả mãn mục tiêu kiểm thử. - Một phần của ca kiểm thử trừu tượng được tạo ra cho mục tiêu kiểm thử cho trước. - Một phần của bộ ca kiểm thử có thể thực thi được tạo ra từ ca kiểm thử trừu tượng. - Kiến trúc của Framework kiểm thử eCat. - Qui trình sinh ca kiểm thử cho hệ thống đa tác tử. - Các khái niệm tổng quát. - Các khái niệm cơ bản. - 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ử. - Quan hệ giữa dữ liệu kiểm thử và tài liệu tham chiếu. - Quan hệ giữa dữ liệu trích xuất với thông tin đặc tả ca kiểm thử. - Quan hệ giữa một số thông tin cơ bản. - Quan hệ giữa thông tin đầu vào, đầu ra, mục đích test. - Các khái niệm cơ bản về kiểm thử. - Các khái niệm về dữ liệu. - Các khái niệm về kỹ thuật kiểm thử. - Minh hoạ trên Protege – Thông tin của Flow. - Hà Nội, ngày 25 tháng 03 năm 2014 Vũ Thị Thuý Hoàn Học viên cao học khoá 2011B Viện Công nghệ Thông tin và Truyền thông - Đại học Bách Khoa Hà Nội 8 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 dạy, truyền đạt cho em những kiến thức, những kinh nghiệm quý báu trong suốt thời gian học tập tại trường. - Em xin được gửi lời cảm ơn đế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á trình em làm luận văn tốt nghiệp. - 9 MỞ ĐẦU 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 trọng. - 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ùy 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 cô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 đầ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 đẩy và hỗ trợ kiểm thử phần mềm hiệu quả hơn. - Trong quá trình học tập, người làm luận văn đã được làm quen với công nghệ web semantic và ontology. - Nhận thấy khả năng lưu trữ và truy vấn thông tin hiệu quả của ontology nên người làm luận văn đã quyết định lựa chọn đề tài tìm hiểu và xây dựng ca kiểm thử phần mềm ứng dụng ontology. - Cùng với 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 làm luận văn đã tìm hiểu những nghiên cứu về ứng dụng ontology và mong muốn phát triển một ứng dụng sinh ca kiểm thử tự động dựa trên ontology. - 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ột ontology 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ử đơn 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: 10 - Chương 1: Tổng quan về ứng dụng ontology trong công nghệ phần mềm và kiểm thử phần mềm - Chương 2: Các nghiên cứu ứng dụng ontology trong việc sinh ca kiểm thử - Chương 3: Xây dựng ontology và minh hoạ ca kiểm thử phần mềm 11 CHƯƠNG 1 TỔNG QUAN VỀ ỨNG DỤNG ONTOLOGY TRONG CÔNG NGHỆ PHẦN MỀM VÀ KIỂM THỬ PHẦN MỀM Nội dung chương 1 sẽ giới thiệu một cách khái quát về vai trò của ontology trong công nghệ phần mềm nói chung và kiểm thử phần mềm nói riêng. - Qua đó ta sẽ nhận thấy những ưu điểm của ontology phù hợp với việc phát triển công nghệ phần mềm như thế nào. - Ngoài ra, trong phạm vi chương này, tác giả luận văn cũng trình bày một mô hình tổng quát ứng dụng ontology trong hoạt động kiểm thử, đồng thời giới thiệu một thiết kế về ontology kiểm thử đã có sẵn nhằm đưa ra những thông tin ban đầu về việc ứng dụng ontology trong kiểm thử phần mềm. - Vai trò của ontology trong công nghệ phần mềm Web ngữ nghĩa là thế hệ thứ 2 của Web dùng để chia sẻ và tái sử dụng dữ liệu trong các ứng dụng, doanh nghiệp hay cộng đồng giới hạn nào đó. - Trong khoa học máy tính và công nghệ thông tin, ontology là dạng biểu diễn một tập các khái niệm trong một lĩnh vực nào đó và mối quan hệ giữa các khái niệm. - Phát triển phần mềm là quy trình phức tạp, tạo ra một lượng lớn thông tin. - Những phương thức tiếp cận ngữ nghĩa, chặt chẽ và cụ thể đã trở nên rất cần thiết cho sự phát triển, xử lý và bảo trì các hệ thống phần mềm. - Và nỗ lực cải thiện quy trình phần mềm đã phần nào đó có hiệu quả. - các công cụ để quản lý các loại cấu phần phần mềm khác nhau cũng được phát triển. - Tuy nhiên phát triển phần mềm vẫn còn nhiều khó khăn. - Thứ nhất, quy trình phần mềm tốn nhiều chi phí cho việc thu thập và sản xuất thông tin. - Việc sử dụng lại những thông tin đã có sẽ tiết kiệm được chi phí. - Phạm vi tái sử dụng được mở rộng từ tái sử dụng những đoạn mã chương trình cho tới tái sử dụng các nội dung thông tin như là tài liệu yêu cầu chức năng, quy trình dự án và tài liệu thiết kế phần mềm. - Tuy nhiên cách biểu diễn thông tin hiện nay làm cho việc quản lý, truy vấn và tái sử dụng trở nên khó khăn. - Một phương thức để việc truy vấn và tái sử dụng thông tin thuận lợi hơn trở thành một yêu cầu cấp thiết. - Thứ hai, do tính toàn cầu hóa, các hệ thống phần mềm thường được phát triển bởi nhiều nhóm ở các nơi khác nhau. - Vì vậy việc chia sẻ thông tin sẽ hạn chế được sự không thống nhất. - Chia sẻ và tái sử dụng thông tin mang lại những lợi ích như cải thiện hiệu suất, rút gọn vòng đời phát triển phần mềm, giảm chi phí, tăng chất lượng sản phẩm. - Với yêu cầu đó, web ngữ nghĩa và ontolgy sẽ cung cấp phương thức để cải thiện việc chia sẻ và tái sử dụng thông tin. - Ontology được sử dụng để mô hình hóa tri thức công nghệ phần 13 mềm bằng cách chỉ ra các cấu phần được thiết kế, được sản xuất trong suốt quy trình kỹ thuật. - Web ngữ nghĩa cho phép công khai các nguồn tài nguyên tri thức công nghệ phần mềm có khả năng tái sử dụng. - Với sự hỗ trợ của các ontology liên quan đến công nghệ phần mềm, web ngữ nghĩa cho phép truy vấn và suy diễn trên tri thức công nghệ phần mềm một cách thông thường hoặc bằng các tác nhân phần mềm khác. - Phân loại ontology trong quy trình phát triển phần mềm Ontology được ứng dụng vào công nghệ phần mềm với nhiều mục đích, nhằm giải quyết nhiều vấn đề còn tồn tại của công nghệ phần mềm. - Những ưu điểm của ontology được coi là cơ sở quan trọng để ứng dụng vào công nghệ phần mềm. - Tập trung vào mô hình nghiệp vụ - yếu tố quan trọng nhất của các hệ thống phần mềm : đưa ra các khái niệm thống nhất, rõ ràng về các mô hình nghiệp vụ. - Có 2 hướng để phân loại ontology trong công nghệ phần mềm. - Theo vai trò của ontology trong vòng đời phát triển phần mềm: thời điểm phát triển và thời điểm hoạt động. - Theo loại tri thức được mô tả: phần mềm và cơ sở hạ tầng. - Vai trò của Ontology trong Công Nghệ Phần Mềm ODD – Ontology-driven Development : sử dụng ontology khi phát triển và mô tả các vấn đề nghiệp vụ. - 15 Ngoài ra có một số phương pháp khác để phân loại các ontology, ví dụ như phân loại theo các giai đoạn sản xuất phần mềm. - phân loại theo loại thông tin mà chúng mô hình hoá. - STT Ontology Giai đoạn phát triển phần mềm Phân loại thông tin Phạm vi ứng dụng 1 Ontology qui trình phần mềm Tất cả Qui trình sản xuất Khởi tạo 2 Ontology miền ứng dụng Đặc tả yêu cầu chức năng Lĩnh vực cụ thể Đặc tả miền thông tin 3 Ontology mô hình đặc điểm miền ứng dụng Đặc tả yêu cầu chức năng Lĩnh vực cụ thể /Sản phẩm Đặc tả miền thông tin 4 Ontology hệ thống hành vi Phân tích đặc tả Sản phẩm Khởi tạo 5 Ontology kiến trúc hệ thống Thiết kế Sản phẩm Khởi tạo 6 Ontology lgic ứng dụng Thiết kế Sản phẩm Khởi tạo 7 Ontology thiết kế hướng đối tượng Thiết kế Sản phẩm Đặc tả hệ thống hướng đối 8 Ontology mẫu Thiết kế Công nghệ Khởi tạo 9 Ontology cấu phần phần mềm Thực thi Sản phẩm Khởi tạo 10 Ontology mã nguồn hướng đối tượng Thực thi Sản phẩm Đặc tả hệ thống hướng đối tượng 11 Ontology phiên bản Thực thi Quản lý và hỗ trợ Khởi tạo 12 Ontology cấu hình hệ thống Thực thi Sản phẩm Đặc tả dự án 13 Ontology văn bản hoá tài liệu Thực thi Sản phẩm Đặc tả dự án 14 Ontology tài liệu Thực thi Quản lý và hỗ trợ Khởi tạo 15 Ontology chất lượng Toàn bộ Quản lý và hỗ trợ Khởi tạo 16 16 Ontology kiểm thử Kiểm thử Quản lý và hỗ trợ Khởi tạo 17 Ontology lỗi (Defect Ontology) Kiểm thử Quản lý và hỗ trợ Khởi tạo 18 Ontology quy trình bảo dưỡng phần mềm Bảo trì Quy trình Tổng quát 19 Ontology công nghệ Toàn bộ Công nghệ Tổng quát
Xem thử không khả dụng, vui lòng xem tại trang nguồn hoặc xem
Tóm tắt