tailieunhanh - Bài giảng Chương 4: 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 - TS. Vũ Thị Hương Giang

Bài giảng "Chương 4: 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" cung cấp cho người học các kiến thức: Bẫy lỗi (error handling), lập trình phòng ngừa (defensive programming), kiểm thử (Testing), gỡ rối (Debugging). Đây là một tài liệu tham khảo hữu ích dành cho các bạn sinh viên Công nghệ thông tin dùng làm tài liệu học tập và nghiên cứu. | 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 V 1. Analyze I Requirements i- 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 r ĩ V X TINH ĐUNG ĐAN VA TINH AN TOÀN CỦA CHƯƠNG TRÌNH PHẦN MỀM I. Bay 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 - Bay 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 - Bay lỗi Prevent errors - Lập trình phòng ngừa Detect problems as early as possible - Kỉể m thử finished code - Gỡ rối fixing defects uncovered by .