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: 26 trang
Dung lượng: 219 KB

Giới thiệu nội dung

Nghiên cứu Ứng dụng Công cụ Satan Để Phân tích Khả năng Kiểm thử Phần mềm Cho Các Thiết kế Trên Môi trường Simulink

Tác giả: Nguyễn Phong

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

Nội dung tài liệu:

Luận văn thạc sĩ kỹ thuật này tập trung vào việc nghiên cứu ứng dụng công cụ SATAN để phân tích khả năng kiểm thử phần mềm. Đề tài nhấn mạnh tầm quan trọng của kiểm thử trong việc đảm bảo chất lượng phần mềm, đặc biệt trong các lĩnh vực công nghiệp. Nghiên cứu đề xuất các giải pháp nhằm cải thiện chất lượng thiết kế phần mềm ngay từ giai đoạn đầu, góp phần giảm thiểu chi phí kiểm thử. Luận văn cũng đi sâu vào phân tích khả năng kiểm thử, một yếu tố quan trọng đánh giá chất lượng phần mềm, giúp các nhà thiết kế cải thiện thiết kế và các kiểm thử viên phân bổ nguồn lực hiệu quả hơn. Nghiên cứu sử dụng môi trường Simulink, một công cụ mô phỏng phổ biến, để xây dựng mô hình và thực hiện phân tích.

Mục lục chi tiết:

  • MỞ ĐẦU
  • CHƯƠNG 1 – Tổng quan về phân tích khả năng kiểm thử phần mềm
  • CHƯƠNG 2 – Môi trường Simulink
  • CHƯƠNG 3 – Phương pháp phân tích khả năng kiểm thử dựa trên công cụ SATAN
  • CHƯƠNG 4 – Giải pháp và ứng dụng phân tích khả năng kiểm thử các thiết kế trong môi trường Simulink