Luận Văn Thạc Sĩ Khoa Học Máy Tính: Phương Pháp Xác Định Vùng Code Gây Lỗi Khi Cập Nhật Phiên Bản Chương Trình

• Tác giả: Nguyễn Lệ Hi
• Người hướng dẫn: TS. Nguyễn Hà Phùng
• Trường học: Đại học Bách Khoa, Đại học Quốc gia TP. Hồ Chí Minh
• Chuyên ngành: Khoa học máy tính
• Đề tài: Xác định xấp xỉ vùng code gây lỗi ở phiên bản chương trình B khi được sửa từ phiên bản chương trình A
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2013
• Địa điểm: TP. Hồ Chí Minh

• LỜI MỞ ĐẦU
• 1. CHƯƠNG 1: TỔNG QUAN
• 1.1. Đặt vấn đề
• 1.2. Phát biểu đề tài
• 1.3. Đóng góp của đề tài
• 1.4. Bố cục của luận văn
• 2. CHƯƠNG 2: CƠ SỞ LÝ THUYẾT
• 2.1. Tính đúng đắn của chương trình (Program Correctness)
• 2.2. Thực thi kí hiệu (Symbolic Execution)
• 2.3. Các phương pháp sinh test case tự động
• 2.4. Giải thuật CTGP
• 2.5. Giải thuật của công cụ kiểm thử DARWIN
• 2.6. Công cụ Taran Uula
• 3. CHƯƠNG 3: GIẢI THUẬT KIỂM THỬ NHẮC ĐẾN CHƯƠNG TRÌNH A TRÊN HỆ NHỊ BẢN TRƯỚC
• 3.1. Một số khái niệm
• 3.2. Giải thuật đề xuất
• 4. CHƯƠNG 4: SG - Ă C1 S111 SH ST V
• 4.1. Bộ phân tích mã nguồn (Code Analyzer)
• 4.2. Bộ thực thi kí hiệu (Symbolic Execution)
• 4.3. Kết quả thực nghiệm
• 4.3.1. Trường hợp điều kiện rẽ nhánh sai
• 4.3.2. Trường hợp hàm điều kiện rẽ nhánh
• 4.3.3. Trường hợp bỏ sót điều kiện rẽ nhánh
• 4.3.4. Trường hợp sửa đổi quá rẽ nhánh thực hiện
• 5. CHƯƠNG 5: THỬ NGHIỆM CHƯƠNG TRÌNH
• 6. CHƯƠNG 6: KẾT LUẬN VÀ PHÁT TRIỂN TRONG TƯƠNG LAI
• TÀI LIỆU THAM KHẢO

I. Giới thiệu và bối cảnh nghiên cứu

Luận văn thạc sĩ Khoa học Máy tính tập trung vào việc xác định vùng code gây lỗi khi sửa đổi phiên bản chương trình. Nghiên cứu này nhằm giải quyết vấn đề phát sinh trong quá trình phát triển phần mềm, đặc biệt là khi các phiên bản mới được tạo ra từ phiên bản cũ. Phân tích mã nguồn và debugging là các phương pháp chính được sử dụng để đảm bảo tính chính xác của chương trình. Nghiên cứu này đóng góp vào việc tối ưu hóa code và quản lý phiên bản hiệu quả hơn.

1.1. Mục tiêu nghiên cứu

Mục tiêu chính của luận văn là xác định vùng code gây lỗi khi chuyển từ phiên bản A sang phiên bản B của một chương trình. Nghiên cứu đề xuất các phương pháp nghiên cứu và thuật toán để tự động hóa quá trình phát hiện lỗi và kiểm thử phần mềm. Điều này giúp giảm thiểu chi phí và thời gian trong quá trình phát triển phần mềm.

1.2. Ý nghĩa thực tiễn

Nghiên cứu này có ý nghĩa quan trọng trong việc phát triển phần mềm và quản lý dự án. Việc xác định vùng code gây lỗi một cách chính xác giúp các nhà phát triển nhanh chóng sửa chữa lỗi, đảm bảo chất lượng phần mềm. Đồng thời, nghiên cứu cũng góp phần vào việc tối ưu hóa code và nâng cao hiệu quả của các công cụ phân tích mã nguồn.

II. Phương pháp nghiên cứu và công cụ sử dụng

Luận văn sử dụng các phương pháp nghiên cứu như thực thi ký hiệu (Symbolic Execution) và sinh test case tự động. Các công cụ phân tích như SMT Solver và DARWIN được áp dụng để phát hiện lỗi và kiểm thử phần mềm. Nghiên cứu cũng đề xuất một thuật toán mới để xác định vùng code gây lỗi một cách hiệu quả.

2.1. Thực thi ký hiệu và sinh test case

Thực thi ký hiệu là phương pháp chính được sử dụng để phân tích mã nguồn và xác định vùng code gây lỗi. Phương pháp này giúp tạo ra các test case tự động dựa trên các điều kiện logic của chương trình. Sinh test case tự động giúp giảm thiểu thời gian và chi phí trong quá trình kiểm thử phần mềm.

2.2. Công cụ phân tích và thuật toán đề xuất

Các công cụ phân tích như SMT Solver và DARWIN được sử dụng để giải quyết các bài toán thỏa mãn điều kiện và phát hiện lỗi. Luận văn cũng đề xuất một thuật toán mới để xác định vùng code gây lỗi một cách chính xác và hiệu quả. Thuật toán này kết hợp các phương pháp phân tích mã nguồn và thực thi ký hiệu để đạt được kết quả tối ưu.

III. Kết quả và đánh giá

Luận văn đã đạt được các kết quả quan trọng trong việc xác định vùng code gây lỗi và kiểm thử phần mềm. Các test case được sinh ra một cách tự động đã giúp phát hiện các lỗi trong phiên bản mới của chương trình. Thuật toán đề xuất đã chứng minh hiệu quả trong việc phát hiện lỗi và tối ưu hóa code.

3.1. Kết quả thực nghiệm

Các kết quả thực nghiệm cho thấy thuật toán đề xuất có khả năng xác định vùng code gây lỗi một cách chính xác. Các test case được sinh ra đã bao phủ hầu hết các trường hợp cần kiểm thử, giúp phát hiện các lỗi trong phiên bản mới của chương trình. Kết quả này đã được đánh giá cao về tính hiệu quả và độ chính xác.

3.2. Đánh giá và ứng dụng thực tế

Nghiên cứu này có giá trị thực tiễn cao trong việc phát triển phần mềm và quản lý dự án. Việc xác định vùng code gây lỗi một cách chính xác giúp các nhà phát triển nhanh chóng sửa chữa lỗi, đảm bảo chất lượng phần mềm. Đồng thời, nghiên cứu cũng góp phần vào việc tối ưu hóa code và nâng cao hiệu quả của các công cụ phân tích mã nguồn.