*Nguồngốccácsaisótcó3 loại:
*Dữliệu: Dùngbộkiểmt radữliệu
*Cúpháp: Dùngt rìnhbiêndịch
*Ngữnghĩa
ŁCó2 cáchkiểmlỗichươngt rình: kiểm
(testing) vàsửa(debugging)
2
Nguyêntắc
*Bảođảmmọit rườnghợpđềuđượckiểm
t ra.
*Thườngbịlỗiởnhữngngãrẻ,phảiduyệt
quaítnhất một lần.
*Mộtchươngt rìnhcầntestnhiềulần.
*Kiểmtratừngmôđunmộtđểgiảmđộ
phứctạp.
3
Tạobộdữliệut hửsaochot hỏa1 t rong4 cách
sau:
*Kiểmtratoànbộcácnhánhcủachươngtrình:
Mỗilệnhcủachươngtrình đềuchạyqua ítnhất
một lần.
*Kiểmtrangẫunhiên.
*Kiểmtra ởnhững điểmnút: lựachọn, lặp, …
*Chènlệnhkiểmtralogic ởmỗiđoạn(dòng)
lệnh.
4
*Tốiưut hờigian:Tăngkhônggianlưut rữ,
t huậttoánkhông đổi, đổicấut rúcdữliệu
vàcấut rúcchươngt rình.
*Tốiưukhônggian:Tăngt hờigian,thuật
toánkhông đổi, đổicấut rúcdữliệuvàcấu
t rúcchươngt rình.
*Tốiưut hờigianvàkhônggian:Thuậttoán
t hay đổi.
5
