Validation, verification and trace tables
Đã giới thiệu| English | Ý nghĩa |
|---|---|
| validation/ˌvælɪˈdeɪʃn/ | kiểm chứng |
| verification/ˌverɪfɪˈkeɪʃn/ | xác minh |
| trace table/treɪs ˈteɪbl/ | bảng truy vết |
| range check/reɪndʒ tʃek/ | kiểm tra phạm vi |
| length check/leŋθ tʃek/ | kiểm tra độ dài |
| presence check/ˈprezəns tʃek/ | kiểm tra sự tồn tại |
| test data/test ˈdeɪtə/ | dữ liệu thử nghiệm |
Kiểm tra và truy vết
- Khi dữ liệu được nhập vào, chúng ta kiểm tra nó để giảm thiểu sai sót.
- Khảo validate/kiểm chứng tính hợp lệ kiểm tra xem dữ liệu có hợp lý hay không; khảo verify/kiểm chứng tính chính xác kiểm tra xem dữ liệu có được sao chép đúng hay không.
- Một bảng theo dõi (trace table) lần lượt thực hiện từng bước của thuật toán.
Xác minh
- Xác minh kiểm tra dữ liệu có hợp lý và tuân theo các quy tắc hay không (nó không thể kiểm tra xem dữ liệu có đúng sự thật hay không).
- Kiểm tra phạm vi (trong giới hạn), kiểm tra độ dài (số lượng ký tự đúng), kiểm tra kiểu (loại dữ liệu đúng), kiểm tra sự hiện diện (không để trống), kiểm tra định dạng (mẫu đúng, ví dụ: dd/mm/yyyy), và chữ số kiểm tra (một chữ số bổ sung xác nhận một con số).
Mọi thuật toán đều phân rã thành đầu vào, xử lý và đầu ra — ở đây là tìm điểm trung bình của ba điểm số.
Checking that an age is between 0 and 120 is a:
Độ khó 1/5 · 100 xu + một phần thưởng nhỏ cho lần hoàn thành đầu tiên trong ngày
A range check confirms a value lies within allowed limits.
Match each validation check to its purpose.
Độ khó 2/5 · 140 xu + một phần thưởng nhỏ cho lần hoàn thành đầu tiên trong ngày
Presence = not blank; type = right kind of data; format = right pattern.
Kiểm chứng
- Kiểm chứng kiểm tra xem dữ liệu đã được sao chép hoặc nhập chính xác chưa (không có lỗi đánh máy).
- Kiểm tra trực quan — một người so sánh dữ liệu đã gõ với bản gốc.
- Nhập hai lần — dữ liệu được nhập hai lần và hai bản sao được so sánh.
Tìm kiếm tuyến tính kiểm tra từng mục theo thứ tự từ đầu cho đến khi tìm thấy giá trị.
Double entry of data is a validation check.
Độ khó 1/5 · 100 xu + một phần thưởng nhỏ cho lần hoàn thành đầu tiên trong ngày
False. Double entry is a verification check: it confirms data was entered correctly. Validation checks that data is sensible, such as a range or type check.
Entering data twice and comparing the two copies is:
Độ khó 1/5 · 100 xu + một phần thưởng nhỏ cho lần hoàn thành đầu tiên trong ngày
Double entry is a verification method — the two copies must match.
Bảng theo dõi và dữ liệu thử nghiệm
- Một bảng theo dõi ghi lại giá trị của mỗi biến khi thuật toán chạy — để kiểm tra xem nó hoạt động hay không hoặc để hiểu nó làm gì.
- Các loại dữ liệu thử nghiệm: bình thường (được chấp nhận), phi thường (bị từ chối), cực trị (lớn nhất/nhỏ nhất cho phép), biên (các giá trị nằm ở hai bên của một giới hạn, ví dụ: 120 và 121).
Một bảng theo dõi ghi lại giá trị của mỗi biến khi chương trình chạy.
Fill in a trace table
A trace table follows the variables one line at a time. Step through and watch the counter and the running total change — exactly the skill a trace-table exam question tests.
A trace table is used to:
Độ khó 1/5 · 100 xu + một phần thưởng nhỏ cho lần hoàn thành đầu tiên trong ngày
Tracing helps you check an algorithm works, or work out what it does, by following the variables.
Trace total = 0; FOR i = 1 TO 5: total = total + i. What is total at the end?
Độ khó 2/5 · 140 xu + một phần thưởng nhỏ cho lần hoàn thành đầu tiên trong ngày
1+2+3+4+5 = 15 — the value the trace table builds up row by row.
Bạn đã nắm vững
- xác minh = có hợp lý không? (phạm vi, độ dài, kiểu, sự hiện diện, định dạng, chữ số kiểm tra)
- kiểm chứng = đã sao chép chính xác chưa? (kiểm tra trực quan, nhập hai lần)
- một bảng theo dõi tracking giá trị biến từng bước
- dữ liệu thử nghiệm: bình thường, phi thường, cực trị, biên