TAILIEUCHUNG - Bài giảng Kỹ thuật lập trình: Chương 4 - TS. Vũ Hương Giang

Bài giảng "Các kỹ thuật kiểm tra tính đúng đắn và tính an toàn của chương trình phần mềm" bao gồm các nội dung: Bẫy lỗi (error handling), lập trình phòng ngừa (defensive programming), kiểm thử (Testing), gỡ rối (Debugging). nội dung chi tiết. | Bài giảng Kỹ thuật lập trình: Chương 4 - TS. Vũ Hương Giang • Với mỗi bài toán, làm thế nào để: – Thiết kế giải thuật nhằm giải quyết bài toán đó – Cài đặt giải thuật bằng một chương trình máy tính - Hãy làm cho chương trình chạy đúng trước khi tăng tính hiệu quả của chương trình - Hãy tăng tính hiệu quả của chương trình và đồng thời thể hiện tốt phong cách lập trình của cá nhân CHƯƠNG IV. CÁC KỸ THUẬT KIỂM TRA TÍNH ĐÚNG ĐẮN VÀ TÍNH AN TOÀN CỦA CHƯƠNG TRÌNH PHẦN MỀM I. Bẫy lỗi (error handling) II. Lập trình phòng ngừa (defensive programming) III. Kiểm thử (Testing) IV. Gỡ rối (Debugging) Mở đầu • Lỗi: chương trình chạy không đúng như đã định • Chuỗi kiểm tra chương trình – Bẫy lỗi (error handling) – Lập trình phòng ngừa (defensive programming) – Kiểm thử (testing) – Gỡ rối (debugging) • Phân biệt: – Bẫy lỗi: Prevent errors – Lập trình phòng ngừa: Detect problems as early as possible – Kiểm thử: finished code – Gỡ rối: fixing defects uncovered by testing I. BẪY LỖI Nguyên tắc • Khi lỗi xảy ra cần – Định vị nguồn gây lỗi – Kiểm soát lỗi • Luôn có ý thức đề phòng các lỗi hay xảy ra trong chương trình, nhất là khi đọc file, dữ liệu do người dùng nhập vào và cấp phát bộ nhớ. • Áp dụng các biện pháp phòng ngừa ngay cả khi điều đó có thể dẫn tới việc dừng chương trình • In các lỗi bằng stderr stream. fprintf (stderr,"There is an error!\n"); Kiểm tra cái gì để phát hiện lỗi ? • Kiểm tra mọi thao tác có thể gây lỗi khi viết CT – Nhập dữ liệu – Sử dụng dữ liệu • Ví dụ: – Kiểm tra mỗi lần mở một tệp tin hay cấp phát các ô nhớ. – Kiểm tra các phương thức người dùng nhập dữ liệu vào cho đến khi không còn nguy cơ gây ra

• Kỹ thuật lập trình
• Bài giảng Kỹ thuật lập trình
• Kỹ thuật lập trình
• Chương trình phần mềm
• Kiểm tra chương trình phần mềm
• Lập trình phòng ngừa
• Kỹ thuật lập trình C
• Bài tập kỹ thuật lập trình
• Tài liệu kỹ thuật lập trình
• Ưng dụng kỹ thuật lập trình
• Chuyên ngành kỹ thuật lập trình
• Ngôn ngữ C
• Tổng quan về kỹ thuật lập trình
• Lập trình tốt
• Nguyên tắc lập trình
• Ngôn ngữ lập trình
• Đề cương bài giảng Cơ sở kỹ thuật lập trình
• Bài giảng Cơ sở kỹ thuật lập trình
• Cơ sở kỹ thuật lập trình
• Kỹ thuật lập trình nâng cao
• Bài giảng Kỹ thuật lập trình nâng cao
• Kỹ thuật lập trình tối ưu
• Phương pháp lập trình
• Tối ưu hóa chương trình
• tài liệu kỹ thuật lập trình C
• kinh nghiệm kỹ thuật lập trình C
• bài giảng kỹ thuật lập trình C
• bài tập kỹ thuật lập trình C
• kỹ thuật máy tính
• giáo trình kỹ thuật lập trình
• Kỹ thuật lập trình Programing Technique
• Bài giảng Programing Technique
• Phân loại ngôn ngữ lập trình
• Môi trường lập trình
• Bài giảng Ôn thi tốt nghiệp
• Kỹ thuật lập trình căn bản
• Kỹ thuật lập trình hướng đối tượng
• Kiểu dữ liệu
• Khái niệm kỹ thuật lập trình
• Chu trình phát triển chương trình
• Mô thức lập trình
• Quản lý bộ nhớ động
• Thuật toán sắp xếp
• Kỹ thuật lập trình đệ quy
• Phân tích giải thuật
• Lập trình C
• Lập trình C++
• Thành phần chương trình C
• Phong cách lập trình