đổ ị
• Cần biết cái gì được chờ đợi
• T o ra các ạ đầu ra, sao cho d dàng nh n bi t là úng hay saiễ ậ ế đ
• T ự động ki m ch ng có th cung c p:ể ứ ể ấ
• T ự động hóa ki m ch ng lùiể ứ
• Tuần tự kiểm chứng so sánh các phiên bản mới với những phiên bản cũ tương ứng.
• Mục đích : đảm bảo việc sửa lỗi sẽ không làm ảnh hưởng nhưng phần khác trừ khi chúng ta muốn
• 1 số hệ thống có công cụ trợ giúp kiểm chứng tự động :
• Ngôn ng scripts : cho phép vi t các o n script ữ ế đ ạ để test tu n tầ ự
• Unix : có các thao tác trên t p tin nh cmp và diff ệ ư để so sanh d li u xu t, sort s p x p các ữ ệ ấ ắ ế
ph n t , grep ầ ử để ể ki m ch ng d li u xu t, c, sum va freq ứ ữ ệ ấ ư để ttong k t d li u xu tế ữ ệ ấ
• Khi kiểm chứng lùi, cần đảm bảo phiên bản cũ là đúng, nếu sai thì rất khó xác định và kết quả sẽ không chính xác
42
• T o ra nh ng ki m ch ng ạ ữ ể ứ độ ậc l p
• Kiểm chứng độc lập với các giá trị nhập và giá trị xuất mong đợi sẽ bổ xung cho kiểm chứng lùi
• Ví dụ : dùng ngôn ngữ NewAwk thực hiện kiểm chứng 1 ct
ngắn, dữ liệu xuất đc ghi vào 1 tệp tin, kq đúng đc ghi vào 1 tệp khác rồi so sánh 2 tệp, nếu khác nhau thì tbaos lỗi echo 3 5 | newawk ‘{i=1; print ($si)++; print $i ,i}’ >
out1
echo ‘3 4 1’ > out2 #két quả đúng if ! Cmp –s out1 out2 # nếu kq so sánh
khác nhau then
echo ‘BAD: test failed’ Fi
• Mọt lỗi có thể cần nhiều thao tác kiểm chứng hoặc phải kiểm tra toàn bộ các lợp mới, hoặc có thể thêm vào những đoạn Ct bảo vệ để có thể bắt đc những lỗi trong CT