Xem mẫu
CHƢƠNG 7
Kiểm tra & tối ưu hóa CT
Đặt vấn đề
Nguồn gốc các sai sót có 3 loại: Dữ liệu: Dùng bộ kiểm tra dữ liệu Cú pháp: Dùng trình biên dịch Ngữ nghĩa
Có 2 cách kiểm lỗi chương trình: kiểm (testing) và sửa (debugging)
2
Kỹ thuật dò tìm và phát hiện lỗi Nguyên tắc
Bảo đảm mọi trường hợp đều được kiểm tra.
Thường bị lỗi ở những ngã rẻ, phải duyệt qua ít nhất một lần. Một chương trình cần test nhiều lần.
Kiểm tra từng môđun một để giảm độ phức tạp.
3
Cách kiểm tra
Tạo bộ dữ liệu thử sao cho thỏa 1 trong 4 cách sau:
Kiểm tra toàn bộ các nhánh của chương trình: Mỗi lệnh của chương trình đều chạy qua ít nhất một lần.
Kiểm tra ngẫu nhiên.
Kiểm tra ở những điểm nút: lựa chọn, lặp, …
Chèn lệnh kiểm tra logic ở mỗi đoạn (dòng) lệnh.
4
Tối ƣu hóa chƣơng trình
Tối ưu thời gian: Tăng không gian lưu trữ, thuật toán không đổi, đổi cấu trúc dữ liệu và cấu trúc chương trình.
Tối ưu không gian: Tăng thời gian, thuật toán không đổi, đổi cấu trúc dữ liệu và cấu trúc chương trình.
Tối ưu thời gian và không gian: Thuật toán thay đổi.
5
...
- tailieumienphi.vn
nguon tai.lieu . vn