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

Giới thiệu nội dung

Phương Pháp Sinh Dữ Liệu Kiểm Thử Tự Động Từ Mã Nguồn Và Ứng Dụng Xây Dựng Hệ Thống Chấm Bài Lập Trình

Tác giả: Nguyễn Thị Khánh Chi

Lĩnh vực: Kỹ Thuật Phần Mềm

Nội dung tài liệu:

Luận văn nghiên cứu phương pháp sinh các ca kiểm thử từ mã nguồn và ứng dụng vào hệ thống chấm bài tập lập trình. Mục tiêu là hỗ trợ giáo viên Tin học tại các trường phổ thông trong việc sinh ca kiểm thử và tự động chấm bài tập lập trình cho học sinh sử dụng ngôn ngữ Java. Phương pháp đề xuất dựa trên việc phân tích mã nguồn mẫu để xây dựng đồ thị dòng điều khiển (CFG), từ đó sinh ra các đường đi, hệ ràng buộc và dữ liệu kiểm thử. Luận văn cũng đề cập đến việc sinh giá trị đầu ra mong muốn và các ca kiểm thử cho vòng lặp, giá trị biên. Công cụ hỗ trợ đã được xây dựng và thực nghiệm bước đầu trên các chương trình đơn giản để minh chứng cho tính đúng đắn và hiệu quả của phương pháp.

Mục lục chi tiết:

  • Chương 1: Mở đầu
  • Chương 2: Phương pháp sinh dữ liệu kiểm thử dòng điều khiển
  • Chương 3: Công cụ và thực nghiệm
  • Chương 4: Kết luận