Bài giảng Nhập môn Tin học: Chương 4 cung cấp cho người học các kiến thức: Kiểm thử và gỡ lỗi, gỡ lỗi logic cho chương trình (Logic Errors), chuyển đổi thành hệ thống mới, đánh giá hệ thống. nội dung chi tiết. | Chương 4 Cài đặt và vận hành hệ thống Kiểm thử và gỡ lỗi- Testing and Debugging Kiểm thử: quá trình kiểm tra chương trình có đáp ứng các chức năng theo yêu cầu ban đầu đưa ra không. Gỡ lỗi: quá trình tìm lỗi và sửa lỗi trong chương trình. 2 Kiểm thử và gỡ lỗi- Testing and Debugging Các loại lỗi của chương trình - Types of Program Errors Lỗi cú pháp - Syntax Errors: Là các lệnh trong chương trình không tuân theo cú pháp của ngôn ngữ lập trình đó Ví dụ: C:= 5+4; Lỗi trong C nhưng lại đúng trong Pascal Lỗi Logic - Logic Errors Chương trình vẫn được biên dịch và thực hiện thành công nhưng kết quả không chính xác. Ví dụ: Thay vì C=5+4; Lại đánh C=5-4; 3 Kiểm thử và gỡ lỗi- Testing and Debugging Kiểm thử chương trình - Testing a Program Kiểm thử thủ tục liên quan đến việc chạy chương trình với nhiều mẫu dữ liệu đầu vào, so sánh kết quả đạt được với kết quả đúng. Dữ liệu thử nghiệm phải kiểm tra từng chức năng logic của chương trình, và nên bao gồm tất cả các loại dữ liệu có thể hợp lệ và không hợp lệ. 4 Kiểm thử và gỡ lỗi- Testing and Debugging Chương trình phát hành để thử nghiệm được gọi là Alpha version và thử nghiệm được tiến hành trên nó được gọi là Alpha testing. Chương trình phát hành để thử nghiệm bổ sung cho một lựa chọn của người dùng bên ngoài là Beta version và thử nghiệm được tiến hành trên nó được gọi là Beta testing Gỡ lỗi cú pháp cho chương trình (Syntax Errors) Lỗi cú pháp tương đối dễ phát hiện và chỉnh sửa hơn so với các lỗi logic. Bộ xử lý ngôn ngữ được thiết kế để tự động phát hiện các lỗi cú pháp. Lỗi cú pháp thường gây ra nhiều thông báo lỗi được tạo ra bởi bộ xử lý ngôn ngữ. Loại bỏ các lỗi cú pháp sẽ cho kết quả trong việc loại bỏ tất cả các thông báo lỗi liên quan. 6 Gỡ lỗi logic cho chương trình (Logic Errors) Lỗi logic khó phát hiện hơn lỗi cú pháp, máy tính không đưa ra bất kỳ thông báo lỗi cho các lỗi logic. Một số phương pháp thường dùng để gỡ lỗi logic: Làm mô phỏng bằng tay của mã chương trình. Đưa lệnh xuất dữ liệu tại các vị trí thích . | Chương 4 Cài đặt và vận hành hệ thống Kiểm thử và gỡ lỗi- Testing and Debugging Kiểm thử: quá trình kiểm tra chương trình có đáp ứng các chức năng theo yêu cầu ban đầu đưa ra không. Gỡ lỗi: quá trình tìm lỗi và sửa lỗi trong chương trình. 2 Kiểm thử và gỡ lỗi- Testing and Debugging Các loại lỗi của chương trình - Types of Program Errors Lỗi cú pháp - Syntax Errors: Là các lệnh trong chương trình không tuân theo cú pháp của ngôn ngữ lập trình đó Ví dụ: C:= 5+4; Lỗi trong C nhưng lại đúng trong Pascal Lỗi Logic - Logic Errors Chương trình vẫn được biên dịch và thực hiện thành công nhưng kết quả không chính xác. Ví dụ: Thay vì C=5+4; Lại đánh C=5-4; 3 Kiểm thử và gỡ lỗi- Testing and Debugging Kiểm thử chương trình - Testing a Program Kiểm thử thủ tục liên quan đến việc chạy chương trình với nhiều mẫu dữ liệu đầu vào, so sánh kết quả đạt được với kết quả đúng. Dữ liệu thử nghiệm phải kiểm tra từng chức năng logic của chương trình, và nên bao gồm tất cả các loại dữ liệu có thể hợp lệ và .
