Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 74 trang
Dung lượng: 839 KB

Giới thiệu nội dung

Phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

Tác giả: Nguyễn Văn Hòa

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 một phương pháp nghiên cứu tự động hóa quá trình kiểm thử dự án phần mềm, cụ thể là từ biểu đồ tuần tự UML 2.0. Nghiên cứu dựa trên lý thuyết kiểm thử dựa trên mô hình với mục tiêu tự động hóa quá trình kiểm thử, nâng cao hiệu quả, đồng thời tiết kiệm chi phí và thời gian phát triển dự án. Phương pháp được đề xuất có đầu vào là biểu đồ tuần tự UML 2.0 dưới dạng tệp XMI. Chương trình kiểm thử sẽ biến đổi tệp XMI bằng cách trích xuất thông điệp, toán tử và ràng buộc để vẽ đồ thị dòng điều khiển. Từ đó, sử dụng thuật toán dò tìm và thuật toán sinh ca kiểm thử cho các toán tử song song có điểm chia sẻ dữ liệu để tìm ra các đường đi từ điểm bắt đầu đến điểm kết thúc. Các đường kiểm thử này được phân loại thành ba cấp độ. Ràng buộc trên mỗi đường đi được thu thập và giải bằng công cụ SMT solver kết hợp phương pháp sinh ngẫu nhiên để tạo ra đầu vào cho các ca kiểm thử. Cuối cùng, các ca kiểm thử được trích xuất ra tệp Excel để phục vụ kiểm thử thiết kế. Một công cụ hỗ trợ đã được cài đặt và thử nghiệm để minh chứng cho tính đúng đắn và hiệu quả của phương pháp.

Mục lục chi tiết:
(Trích xuất tự động từ file gốc)

  • Lời cảm ơn
  • Tóm tắt
  • Abstract
  • Lời cam đoan
  • Mục lục
  • Danh sách bảng biểu
  • Danh sách hình vẽ
  • Bảng thuật ngữ viết tắt
  • Chương 1: Giới thiệu
  • Chương 2: Các khái niệm và tổng quan kiểm thử dựa trên mô hình
  • Chương 3: Phương pháp sinh đồ thị dòng điều khiển từ biểu đồ tuần tự
  • Chương 4: Công cụ và thực nghiệm
  • Chương 5: Kết luận
  • Tài liệu tham khảo