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

Giới thiệu nội dung

Automatic Regression Testing For Lustre/Scade Applications

Tác giả: Trinh Cong Duy

Lĩnh vực: Computer Science

Nội dung tài liệu:

Nghiên cứu này tập trung vào việc kiểm thử hồi quy tự động cho các ứng dụng LUSTRE/SCADE. Mục tiêu là đề xuất các kỹ thuật kiểm thử hồi quy tự động và giải pháp tạo dữ liệu kiểm thử hiệu quả trong môi trường Lustre/SCADE. Luận án nghiên cứu các phương pháp kiểm thử, đặc điểm của hệ thống phản ứng, cách tiếp cận đồng bộ, ngôn ngữ Lustre và môi trường SCADE. Cụ thể, luận án phân tích cấu trúc mạng lưới toán tử, các đường đi và điều kiện kích hoạt trong chương trình Lustre. Đồng thời, nghiên cứu sử dụng kỹ thuật kiểm tra mô hình để tạo dữ liệu kiểm thử, đề xuất thuật toán AGTC tự động hóa việc tạo dữ liệu kiểm thử, và phát triển công cụ LUSREGTES để xác thực giải pháp. Các phương pháp tiếp cận kiểm thử hồi quy như GSRS, GSCR và GOPN cũng được nghiên cứu và so sánh để xác định phương pháp phù hợp nhất.

Mục lục chi tiết:

  • Lời nói đầu
  • Mục lục
  • Danh mục từ viết tắt
  • Danh mục bảng biểu
  • Danh mục hình vẽ
  • Giới thiệu
  • Chương 1. LUSTRE/SCADE và Kiểm thử hồi quy: Các khái niệm cơ bản
  • Chương 2. Sử dụng bộ kiểm tra mô hình để kiểm thử các chương trình LUSTRE/SCADE
  • Chương 3. Phương pháp kiểm thử hồi quy cho các chương trình LUSTRE/SCADE
  • Chương 4. LUSREGTES: Công cụ kiểm thử hồi quy cho các chương trình LUSTRE/SCADE
  • Kết luận và hướng phát triển tương lai
  • Công trình đã công bố
  • Tài liệu tham khảo