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

Giới thiệu nội dung

Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE

Tác giả: Trịnh Công Duy

Lĩnh vực: Khoa học Máy tính

Nội dung tài liệu:

Luận án tiến sĩ kỹ thuật này tập trung vào việc tự động hóa quá trình kiểm thử hồi quy cho các hệ thống phản ứng được xây dựng bằng ngôn ngữ Lustre và môi trường SCADE. Đề tài đề xuất giải pháp sinh ca kiểm thử tự động, nhằm giải quyết vấn đề tăng chi phí và khối lượng kiểm thử do cập nhật và nâng cấp hệ thống thường xuyên. Nghiên cứu khám phá các kỹ thuật kiểm thử hồi quy, phân tích các tính năng của hệ thống phản ứng, ngôn ngữ Lustre và môi trường SCADE. Đặc biệt, luận án tập trung vào việc sử dụng kỹ thuật kiểm chứng mô hình để tạo dữ liệu thử nghiệm dựa trên các điều kiện kích hoạt lộ trình trong mạng lưới toán tử. Ba phương pháp tiếp cận sinh dữ liệu kiểm thử (GSRS, GSCR, GOPN) được nghiên cứu và so sánh, dẫn đến đề xuất một giải pháp tự động hóa tối ưu. Đồng thời, luận án phát triển công cụ LUSREGTES để hỗ trợ việc sinh dữ liệu kiểm thử tự động.

Mục lục chi tiết:

  • Chương 1: Tổng quan về Lustre/SCADE và Kiểm thử Hồi quy
  • Chương 2: Sử dụng Kiểm chứng Mô hình trong Kiểm thử các Chương trình Lustre/SCADE