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

Giới thiệu nội dung

Nghiên Cứu Phương Pháp Kiểm Thử Dựa Trên Biểu Đồ Trạng Thái

Tác giả: Trần Thị Diệu Linh

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

Nội dung tài liệu:

Luận văn này tập trung nghiên cứu các phương pháp kiểm thử phần mềm dựa trên biểu đồ trạng thái. Nghiên cứu đi sâu vào phân tích, đánh giá các phương pháp kiểm thử hiện có, đồng thời đề xuất quy trình và ứng dụng thực tế phương pháp kiểm thử này. Luận văn cũng xem xét các mô hình biểu đồ trạng thái như Máy trạng thái hữu hạn (FSM), Máy trạng thái hữu hạn mở rộng (EFSM), Biểu đồ trạng thái, Biểu đồ chuyển trạng thái (Statechart), và các môi trường thiết kế liên quan như UML, Simulink, Scade. Các phương pháp kiểm thử được trình bày bao gồm phương pháp của Supaporn Kansomkeat và Wanchai Rivepiboon, Axel Hollmann, Fevzi Belli và Christof J. Budnik, và Dirk Seifert. Cuối cùng, luận văn trình bày việc ứng dụng phương pháp của Dirk Seifert để kiểm thử hệ thống quản lý âm thanh trên xe hơi, bao gồm việc xây dựng máy trạng thái, dự kiến hành vi, tạo và thực thi trường hợp kiểm thử.

Mục lục chi tiết:

  • MỞ ĐẦU
  • CHƯƠNG 1: NỘI DUNG BIỂU ĐỒ TRẠNG THÁI VÀ MÔI TRƯỜNG THIẾT KẾ SỬ DỤNG BIỂU ĐỒ TRẠNG THÁI
  • CHƯƠNG 2: KIỂM THỬ DỰA VÀO BIỂU ĐỒ TRẠNG THÁI
  • CHƯƠNG 3: ỨNG DỤNG KIỂM THỬ DỰA TRÊN BIỂU ĐỒ TRẠNG THÁI CHO HỆ THỐNG QUẢN LÝ ÂM THANH TRONG XE HƠI
  • KẾT LUẬN