Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp sinh tự động các ca kiểm thử từ đặc tả ca sử dụng

Luận văn đề xuất lý thuyết cho ngôn ngữ mô hình hóa ca sử dụng có giới hạn RUCM cho phép đặc tả ca sử dụng bằng mô hình. Các quy tắc hạn chế và mẫu ca sử dụng phải được áp dụng trong giai đoạn khởi tạo các yêu cầu của phát triển phần mềm hướng ca sử dụng (use case driven software development) để tạo ra các mô hình ca sử dụng chính xác và rõ ràng có thể mô hình hóa trong phạm vi có thể.
Nội dung trích xuất từ tài liệu:
Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp sinh tự động các ca kiểm thử từ đặc tả ca sử dụng ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ PHÙNG THỊ HƢƠNGPHƢƠNG PHÁP SINH TỰ ĐỘNG CÁC CA KIỂM THỬ TỪ ĐẶC TẢ CA SỬ DỤNG LUẬN VĂN THẠC SĨ KỸ THUẬT PHẦN MỀM Hà Nội - 2021 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ PHÙNG THỊ HƢƠNG PHƢƠNG PHÁP SINH TỰ ĐỘNG CÁC CA KIỂM THỬ TỪ ĐẶC TẢ CA SỬ DỤNGNghành: Kỹ thuật phần mềmChuyên ngành: Kỹ thuật phần mềmMã số: 8480103.01 LUẬN VĂN THẠC SĨ KỸ THUẬT PHẦN MỀM CÁN BỘ HƢỚNG DẪN: TS. ĐẶNG ĐỨC HẠNH Hà Nội – 2021 LỜI CẢM ƠN Đầu tiên, tôi xin được gửi lời cảm ơn sâu sắc tới Tiến sĩ Đặng Đức Hạnh –giảng viên bộ môn Công nghệ Phần mềm – người đã dành nhiều thời gian và côngsức trong suốt năm vừa qua để hướng dẫn tôi hoàn thành luận văn này. Thầy đãgiúp tôi từ những bước đầu tiên, từ việc lựa chọn đề tài phù hợp với mình đến chiasẻ các phương pháp nghiên cứu, kinh nghiệm làm việc, giao tiếp,... những kĩ năngcần thiết không chỉ trong chính luận văn này mà còn trong cuộc sống, sự nghiệptương lai của tôi. Tôi cũng xin được cảm ơn sự hỗ trợ của đề tài nghiên cứukhoa học cấp Đại học Quốc Gia Hà Nội, mã số QG.20.54. Tôi cũng xin gửi lời cảm ơn chân thành đến các thành viên trong nhómnghiên cứu đã hỗ trợ tôi rất tận tình trong khoảng thời gian vừa qua. Các anh chịem trong nhóm đã biểu hiện một tình thần đoàn kết cao, tương trợ lẫn nhau trongcác công việc lớn nhỏ, cùng thảo luận, đóng góp ý kiến với mỗi vấn đề của mỗithành viên. Đó chắc chắn sẽ là những kỉ niệm khó quên đối với mỗi người trongnhóm, đặc biệt là với tôi. Ngoài ra, tôi xin gửi lời cảm ơn đến các thầy cô giảng viên của Trường Đạihọc Công nghệ - Đại học Quốc gia Hà Nội. Những kiến thức chuyên môn, nghiệpvụ và cả các kĩ năng mềm mà các thầy cô đã dạy cho tôi trong suốt khóa học đãtrở thành nền tảng để tôi phát triển và xây dựng luận văn này. Cuối cùng, tôi xin cảm ơn gia đình, bạn bè và người thân đã đồng hànhcùng tôi trong cuộc sống, cung cấp cho tôi ý chí và nghị lực để luôn vươn lêntrong cuộc sống. ii LỜI CAM ĐOAN Tôi là Phùng Thị Hương, học viên khóa K24, chuyên ngành Kỹ thuật phầnmềm thuộc chương trình đào tạo Thạc sĩ của Trường Đại học Công nghệ - Đạihọc Quốc gia Hà Nội. Tôi xin cam đoan luận văn “Phương pháp sinh tự độngcác ca kiểm thử từ đặc tả ca sử dụng” là của tôi. Tôi đã trích dẫn đầy đủ các tài liệu tham khảo, công trình nghiên cứu liênquan ở trong nước và quốc tế. Ngoại trừ các tài liệu tham khảo này, luận vănhoàn toàn là công việc của riêng tôi. Hà Nội, ngày 16 tháng 12 năm 2021 Học viên Phùng Thị Hương iii MỤC LỤCLỜI CẢM ƠN ..................................................................................................... iiLỜI CAM ĐOAN............................................................................................... iiiMỤC LỤC .......................................................................................................... ivDANH MỤC CÁC KÝ HIỆU VÀ TỪ VIẾT TẮT ............................................ viDANH MỤC CÁC BẢNG ................................................................................ viiDANH MỤC CÁC HÌNH VẼ .......................................................................... viiiCHƢƠNG 1: GIỚI THIỆU............................................................................... 1CHƢƠNG 2: KIẾN THỨC NỀN TẢNG ......................................................... 3 2.1. Giới thiệu chương ................................................................................... 3 2.2. Đặc tả yêu cầu và đặc tả ca sử dụng ........................................................ 3 2.2.1. Đặc tả yêu cầu chức năng và phi chức năng .............................................. 3 2.2.2. Đặc tả ca sử dụng ........................................................................................ 4 2.3. Kiểm thử dựa trên mô hình ..................................................................... 7 2.3.1. Tổng quan kiểm thử dựa trên mô hình ........................................................ 7 2.3.2. Đặc tả ca kiểm thử ....................................................................................... 9 2.4. Kỹ nghệ hướng mô hình ....................................................................... 10 2.4.1. Chuyển đổi mô hình ................................................. ...