Xây Dựng Công Cụ Sinh Dữ Liệu Thử Tự Động Cho Chương Trình Java

Xây dựng công cụ sinh dữ liệu thử tự động cho chương trình Java

Tác giả: Ngô Pô Na

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

Nội dung tài liệu:

Luận văn cao học này tập trung vào việc nghiên cứu và xây dựng một công cụ tự động sinh dữ liệu kiểm thử cho các chương trình viết bằng ngôn ngữ Java. Mục tiêu chính là nâng cao hiệu quả, tính chính xác và chất lượng của quá trình kiểm thử phần mềm, đặc biệt là kiểm thử đơn vị (unit test) và kiểm thử hộp trắng.

Công trình này nhấn mạnh vào việc giải quyết các hạn chế của kiểm thử thủ công, vốn tốn nhiều thời gian, chi phí và thiếu khách quan. Để đạt được điều này, luận văn đề xuất một giải pháp tích hợp các kỹ thuật kiểm thử hiện đại, bao gồm thực thi ký hiệu (Symbolic execution) và các bộ giải ràng buộc (SMT – Satisfiability Modulo Theories). Thông qua việc xây dựng đồ thị luồng điều khiển, xác định các đường thực thi, và sử dụng SMT để giải quyết các ràng buộc, công cụ được phát triển nhằm tự động hóa việc sinh dữ liệu kiểm thử, đảm bảo bao phủ lộ trình và tối ưu hóa thời gian thực thi.

Luận văn cũng đi sâu vào phân tích các thách thức gặp phải trong quá trình này, như sự bùng nổ đường đi, giải các ràng buộc phức tạp và mô hình hóa bộ nhớ, đồng thời đề xuất các giải pháp tiềm năng để vượt qua những trở ngại đó.

Mục lục chi tiết: