Валидация, верификация и трассировочные таблицы
| English | Русский |
|---|---|
| validation/ˌvælɪˈdeɪʃn/ | валидация |
| verification/ˌverɪfɪˈkeɪʃn/ | верификация |
| trace table/treɪs ˈteɪbl/ | трассировочная таблица |
| range check/reɪndʒ tʃek/ | проверкой диапазона |
| length check/leŋθ tʃek/ | проверка длины |
| presence check/ˈprezəns tʃek/ | проверкой наличия |
| test data/test ˈdeɪtə/ | тестовые данные |
Проверка и трассировка
- При вводе данных мы их проверяем, чтобы снизить количество ошибок.
- Валидация проверяет, являются ли данные разумными; верификация проверяет, были ли они скопированы правильно.
- Таблица трассировки отображает выполнение алгоритма шаг за шагом.
Валидация
- Валидация проверяет, что данные разумны и соответствуют правилам (она не может проверить истинность данных).
- Проверка диапазона (в пределах допустимых границ), проверка длины (правильное количество символов), проверка типа (правильный тип данных), проверка наличия (не пустое поле), проверка формата (правильный шаблон, например dd/mm/yyyy) и контрольная цифра (дополнительная цифра для подтверждения номера).
Каждый алгоритм состоит из ввода, обработки и вывода — здесь пример: нахождение среднего арифметического трёх оценок.
Проверка того, что возраст находится в диапазоне от 0 до 120, является:
Проверка диапазона подтверждает, что значение лежит в допустимых пределах.
Соотнесите каждую проверку валидации с ее целью.
Наличие = не пусто; тип = правильный вид данных; формат = правильный шаблон.
Верификация
- Верификация проверяет, что данные были скопированы или введены правильно (без опечаток).
- Визуальная проверка — человек сравнивает набранные данные с оригиналом.
- Двойной ввод — данные вводятся дважды, и два полученных варианта сравниваются между собой.
Линейный поиск последовательно проверяет каждый элемент от начала до тех пор, пока не найдет нужное значение.
Валидация проверяет, что данные логичны (в диапазоне, правильного типа, не пустые), тогда как верификация проверяет, что они были скопированы или введены правильно (например, двойной ввод).
Валидация = «логично ли это?»; верификация = «введено/скопировано ли это правильно?» — обычно требуются оба вида проверки.
Ввод данных дважды и сравнение двух копий является:
Двойной ввод — метод верификации: две копии должны совпадать.
Таблицы трассировки и тестовые данные
- Таблица трассировки фиксирует значения каждой переменной по мере выполнения алгоритма — чтобы убедиться в корректности работы или понять, что именно делает алгоритм.
- Типы тестовых данных: нормальные (принимаются), ненормальные (отклоняются), экстремальные (наибольшее/наименьшее допустимые значения), граничные (значения по обе стороны от предела, например 120 и 121).
Таблица трассировки фиксирует значения всех переменных во время выполнения программы
Заполните трассировочную таблицу
Трассировочная таблица отслеживает переменные построчно. Пройдитесь по шагам и наблюдайте, как изменяются счетчик и накопленная сумма — это именно тот навык, который проверяют вопросы экзамена по трассировочным таблицам.
Трассировочная таблица используется для:
Трассировка помогает проверить, работает ли алгоритм, или понять, что он делает, путем отслеживания переменных.
Трассируйте total = 0; FOR i = 1 TO 5: total = total + i. Каково значение total в конце?
1+2+3+4+5 = 15 — значение, которое накапливается в трассировочной таблице строка за строкой.
Вы поняли
- валидация = разумно ли это? (диапазон, длина, тип, наличие, формат, контрольная цифра)
- верификация = скопировано ли верно? (визуальная проверка, двойной ввод)
- таблица трассировки отслеживает значения переменных шаг за шагом
- тестовые данные: нормальные, ненормальные, экстремальные, граничные