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

PHƯƠNG PHÁP SINH TỰ ĐỘNG CÁC CA KIỂM THỬ TỪ ĐẶC TẢ CA SỬ DỤNG

Tác giả: Phùng Thị Hương

Lĩnh vực: Kỹ thuật phần mềm

Nội dung tài liệu:

Luận văn này trình bày phương pháp sinh tự động các ca kiểm thử từ đặc tả ca sử dụng. Nghiên cứu tập trung vào việc tự động hóa quá trình tạo ca kiểm thử, giảm thiểu thời gian và công sức thủ công, đồng thời nâng cao hiệu quả kiểm thử phần mềm. Phương pháp được đề xuất sử dụng khuôn mẫu RUCM (Restricted Use Case Modeling) để mô hình hóa ca sử dụng, giúp giảm bớt sự mơ hồ và tạo điều kiện cho việc phân tích tự động.

Luận văn cũng giới thiệu các kiến thức nền tảng về kỹ nghệ hướng mô hình, kiểm thử dựa trên mô hình, đặc tả yêu cầu, đặc tả ca sử dụng, cũng như các công cụ và ngôn ngữ hỗ trợ như UML, OCL, Kermeta, AMPL. Cuối cùng, luận văn hướng dẫn cài đặt và thực nghiệm công cụ hỗ trợ sinh ca kiểm thử tự động có tên là ParTeG, đồng thời đánh giá kết quả thu được.

Mục lục chi tiết:

• Lời cảm ơn
• Lời cam đoan
• Mục lục
• Danh mục các ký hiệu và từ viết tắt
• Danh mục các bảng
• Danh mục các hình vẽ
• Chương 1: Giới thiệu
• Chương 2: Kiến thức nền tảng
• 2.1. Giới thiệu chương
• 2.2. Đặc tả yêu cầu và đặc tả ca sử dụng
• 2.2.1. Đặc tả yêu cầu chức năng và phi chức năng
• 2.2.2. Đặc tả ca sử dụng
• 2.3. Kiểm thử dựa trên mô hình
• 2.3.1. Tổng quan kiểm thử dựa trên mô hình
• 2.3.2. Đặc tả ca kiểm thử
• 2.4. Kỹ nghệ hướng mô hình
• 2.4.1. Chuyển đổi mô hình
• 2.4.2. Các ràng buộc siêu mô hình UML/OCL
• 2.4.3. Ngôn ngữ Kermeta
• 2.4.4. Ngôn ngữ lập trình toán học AMPL
• 2.5. Tổng kết chương
• Chương 3: Phương pháp sinh tự động các ca kiểm thử từ đặc tả ca sử dụng
• 3.1. Giới thiệu chương
• 3.2. Tổng quan phương pháp
• 3.3. Đặc tả ca sử dụng
• 3.3.1. Khuôn mẫu RUCM
• 3.3.2. Luật giới hạn sử dụng ngôn ngữ tự nhiên
• 3.3.3. Luật giới hạn sử dụng các từ khóa
• 3.3.4. Đặc tả ca sử dụng bằng RUCM
• 3.4. Chuyển đổi đặc tả ca sử dụng sang biểu đồ trạng thái
• 3.4.1. Siêu mô hình UCMeta
• 3.4.2. Luật chuyển đổi
• 3.5. Phương pháp sinh tự động các ca kiểm thử
• 3.5.1. Chuẩn hóa mục tiêu kiểm thử
• 3.5.2. Quy hoạch toán học
• 3.5.3. Sinh ca kiểm thử trừu tượng và dữ liệu kiểm thử cụ thể
• 3.5.4. Sinh ca kiểm thử đơn vị
• 3.6. Tổng kết chương
• Chương 4: Cài đặt và thực nghiệm
• 4.1. Giới thiệu chương
• 4.2. Công cụ hỗ trợ
• 4.2.1. Giới thiệu công cụ
• 4.2.2. Đánh giá kết quả
• 4.3. Thực nghiệm
• Chương 5: Kết luận
• 5.1. Các đóng góp của luận văn
• 5.2. Hướng phát triển
• Tài liệu tham khảo