Những khó khăn khi kiểm thử • Nâng cao chất lượng phần mềm nhưng không vượt quá chất lượng khi thiết kế: chỉ phát hiện các lỗi tiềm tàng và sửa chúng Phương pháp thử: thử tĩnh • Kiểm thử trên bàn hay Kiểm thử tĩnh: giấy và bút trên bàn, kiểm tra logic, lần từng chi tiết ngay sau khi lập trình xong • Đi xuyên suốt (walk through) • Thanh tra (inspection) | PASCAL FOR biếnđkhiển GTđầu TO GTCuối DO begin việc end Ngôn ngữ C for biểuthức 1 biểuthứcĐK biểuthức2 việc Đặc biệt có các lệnh thoát break continue exit HUT Falt. of IT Dept. of SE 2001 DO WHILE kThuc HUT Falt. of IT Dept. of SE 2001 PASCAL While BiếuthứcBoolean DO begin Công việc end Ngôn ngữ C while biếuthứcĐK Công việc Kiểm tra điều kiện trước khi thực hiện Lỗi thường gặp Lặp vô hạn HUT Falt. of IT Dept. of SE 2001 .
