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: 161 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Kiểm thử Dựa Trên Mô Hình Với Cách Tiếp Cận Mô Hình Hóa Chuyên Biệt Miền

Tác giả:

Chu Thị Minh Huệ

Lĩnh vực:

Công nghệ Thông tin

Nội dung tài liệu:

Luận án này trình bày các phương pháp cho phép sinh tự động các ca kiểm thử chức năng mức hệ thống từ các ca sử dụng, áp dụng kỹ thuật kiểm thử dựa trên mô hình (Model-Based Testing – MBT) với cách tiếp cận mô hình hóa chuyên biệt miền (Domain Specific Modeling – DSM). Luận án tập trung vào việc đặc tả rõ ràng các ca sử dụng và ca kiểm thử bằng các mô hình trong ngôn ngữ mô hình hóa chuyên biệt miền, cùng phương pháp chuyển đổi tự động các mô hình ca sử dụng sang mô hình ca kiểm thử trong các ngôn ngữ đặc tả chuyên biệt miền.

Mục lục chi tiết:

(Tham khảo các trang i-xiii để xem mục lục chi tiết)