Санитарная проверка

Тест, чтобы проверить, является ли гипотеза рациональной

Проверка работоспособности или тест на работоспособность — это базовый тест, позволяющий быстро оценить, может ли утверждение или результат расчета быть правдой. Это простая проверка того, является ли произведенный материал рациональным (что создатель материала мыслил рационально, применяя здравомыслие ). Цель проверки работоспособности — исключить определенные классы заведомо ложных результатов, а не выявить все возможные ошибки. Для проведения теста можно использовать эмпирическое правило или приблизительный расчет . Преимущество проведения первоначального теста на вменяемость заключается в быстрой оценке основных функций.

Например, в арифметике при умножении на 9 использование правила делимости на 9 для проверки того, что сумма цифр результата делится на 9, является проверкой работоспособности: она не выявляет каждую ошибку умножения, но является быстрым и простым методом. метод обнаружения множества возможных ошибок.

В информатике тест на работоспособность — это очень краткая проверка функциональности компьютерной программы , системы, вычислений или другого анализа, чтобы убедиться, что часть системы или методологии работает примерно так, как ожидалось. Часто это происходит перед более тщательным тестированием.

Использование в разных сферах

Математический

Тест на здравомыслие может относиться к различным порядкам величин и другим простым практическим методам, применяемым для перекрестной проверки математических расчетов . Например:

• Если бы кто-то попытался возвести в квадрат 738 и вычислил 54 464, быстрая проверка здравомыслия могла бы показать, что этот результат не может быть правдой. Считают, что700 < 738,еще700 ² = 7 ² × 100 ² = 490 000 > 54 464.Поскольку возведение в квадрат положительных целых чисел сохраняет их неравенство , результат не может быть истинным, и поэтому вычисленный результат неверен. Правильный ответ,738 ² = 544 644,более чем в 10 раз превышает показатель 54 464.
• При умножении918 × 155не является 142 135, поскольку 918 делится на три, а 142 135 — нет (сумма цифр равна 16, а не кратна трем ). Кроме того, произведение должно заканчиваться той же цифрой, что и произведение конечных цифр:8×5=40,но 142 135 не заканчивается на «0», как «40», а правильный ответ:918 × 155 = 142 290.Еще более быстрая проверка состоит в том, что произведение четных и нечетных чисел является четным, а 142 135 — нечетным.

Физический

• Анализ размерностей можно использовать для проверки правильности физических уравнений: две части любого уравнения должны быть соизмеримы или иметь одинаковые размеры. Человек, который рассчитал выходную мощность автомобиля в 700 кДж , возможно , упустил какой-то коэффициент, поскольку единица джоуля является мерой энергии , а не мощности (энергии в единицу времени).
• При определении физических свойств сравнение с известными или аналогичными веществами часто позволяет понять, является ли результат обоснованным. Например, большинство металлов тонет в воде, поэтому плотность большинства металлов должна быть больше плотности воды (~1000 кг/м ³ ).
• Оценки Ферми часто дают представление о порядке величины ожидаемого значения.

Разработка программного обеспечения

При разработке программного обеспечения тест на работоспособность (форма тестирования программного обеспечения , которая предлагает «быстрое, широкое и поверхностное тестирование» ^[1] ) оценивает результат подмножества функций приложения, чтобы определить, возможно ли и разумно ли приступить к дальнейшему тестированию. всего приложения. ^[2] Тесты на работоспособность иногда могут использоваться взаимозаменяемо с дымовыми тестами ^[3] , поскольку оба термина обозначают тесты, которые определяют, возможно ли и целесообразно ли продолжать тестирование дальше. С другой стороны, иногда делают различие: дымовой тест — это неисчерпывающий тест, который устанавливает, работают ли наиболее важные функции программы, прежде чем приступить к дальнейшему тестированию, тогда как тест на работоспособность относится к тому, являются ли определенные функции, такие как конкретная ошибка, fix работает как положено, без тестирования более широкой функциональности программного обеспечения. ^{[ нужна цитация ]} Другими словами, тест на работоспособность определяет, правильно ли работает предполагаемый результат изменения кода, в то время как дымовой тест гарантирует, что в процессе не было нарушено ничего важного. Тестирование работоспособности и дымовое тестирование позволяют избежать напрасной траты времени и усилий за счет быстрого определения того, является ли приложение слишком ошибочным, чтобы заслуживать более тщательного тестирования качества , но требует дополнительной отладки разработчиком .

Группы тестов работоспособности часто объединяются для автоматического модульного тестирования функций, библиотек или приложений перед объединением кода разработки в ветку тестирования или магистральной ветки контроля версий , ^[4] для автоматизированной сборки , ^[5] или для непрерывной интеграции и непрерывного развертывания. . ^[6]

Еще одно распространенное использование теста на работоспособность — для обозначения проверок, которые выполняются в программном коде, обычно над аргументами функций или возвращаемыми из них значениями, чтобы увидеть, можно ли считать ответы правильными. Чем сложнее программа, тем важнее проверить ее реакцию. Тривиальный случай — проверить, указывает ли возвращаемое значение функции на успех или неудачу, и, следовательно, прекратить дальнейшую обработку в случае неудачи. Это возвращаемое значение на самом деле часто само по себе является результатом проверки работоспособности. Например, если функция попыталась открыть файл, записать в него и закрыть его, можно использовать проверку работоспособности, чтобы гарантировать, что ни одно из этих действий не привело к сбою — эта проверка работоспособности часто игнорируется программистами. ^[7]

Подобные проверки работоспособности могут использоваться во время разработки в целях отладки, а также для устранения ошибок во время выполнения программного обеспечения . Например, в приложении для управления банковским счетом проверка работоспособности завершится неудачей, если при снятии средств требуется больше денег, чем общий баланс счета, вместо того, чтобы позволить счету стать отрицательным (что было бы неразумно). Другой тест на здравомыслие может заключаться в том, что депозиты или покупки соответствуют закономерностям, установленным историческими данными — например, крупные транзакции покупок или снятие наличных в банкоматах в зарубежных местах, которые владелец карты никогда раньше не посещал, могут быть помечены для подтверждения. ^{[ нужна цитата ]}

Проверки работоспособности также выполняются после установки стабильного производственного кода программного обеспечения в новую вычислительную среду , чтобы гарантировать соблюдение всех зависимостей , таких как совместимая операционная система и связанные библиотеки . Когда компьютерная среда прошла все проверки работоспособности, она считается работоспособной средой, в которой программа установки может продолжить работу с разумными ожиданиями успеха.

« Привет, мир!» Программа также часто используется в качестве проверки работоспособности среды разработки . Если эта простая программа не скомпилируется или не выполнится, а не будет сложным сценарием, выполняющим набор модульных тестов, это докажет, что в поддерживающей среде, вероятно, есть проблема с конфигурацией, которая не позволит любому коду компилироваться или выполняться. Но если «Hello world» выполняется, то любые проблемы, возникающие в других программах, скорее всего, могут быть связаны с ошибками в коде этого приложения, а не в среде.

Ассоциация вычислительной техники [ ^8] и такие программные проекты, как Android , ^[9] MediaWiki ^[10] и Twitter , ^[11] не рекомендуют использовать фразу «проверка работоспособности» в пользу других терминов, таких как «проверка достоверности» , « проверка согласованности» или «проверка достоверности». просто протестируйте , как часть более широкой попытки избежать эйблистского языка и повысить инклюзивность .

Смотрите также

• Алгоритм сертификации
• Контрольная сумма
• Проблема Ферми
• Ментальный расчет
• Доказательство концепции

Рекомендации

1. Фецко, Мариуш А.; Лотт, Кристофер М. (октябрь 2002 г.). «Уроки, извлеченные из автоматизации тестов для системы поддержки операций» (PDF) . Программное обеспечение: практика и опыт . 32 (15): 1485–1506. дои : 10.1002/сп.491. S2CID  16820529. Архивировано из оригинала (PDF) 17 июля 2003 года.
2. Самми, Рабия; Масуд, Ирам; Джабин, Шунаила (2011). Зейн, Ясни Мохамад; Ван Мохд, Ван Масери bt; Эль-Кавасме, Эйас (ред.). «Схема обеспечения качества процесса проверки работоспособности». Программная инженерия и компьютерные системы . Коммуникации в компьютерной и информатике. 181 . Берлин, Гейдельберг: Springer: 143–150. дои : 10.1007/978-3-642-22203-0_13. ISBN 978-3-642-22203-0.
3. Глоссарий ISTQB® для Международной квалификационной комиссии по тестированию программного обеспечения®, схема квалификации по тестированию программного обеспечения, Глоссарий ISTQB Международная квалификационная комиссия по тестированию программного обеспечения
4. http://webhotel4.ruc.dk/~nielsj/research/publications/freebsd.pdf ^{[ пустой URL-адрес PDF ]}
5. Хасан А.Е. и Чжан К. 2006. Использование деревьев решений для прогнозирования результата сертификации сборки. В материалах 21-й международной конференции IEEE/ACM по автоматизированной разработке программного обеспечения (18–22 сентября 2006 г.). Автоматизированная разработка программного обеспечения. Компьютерное общество IEEE, Вашингтон, округ Колумбия, 189–198.
6. http://jitm.ubalt.edu/XXIX-2/article4.pdf ^{[ пустой URL-адрес PDF ]}
7. Дарвин, Ян Ф. (январь 1991 г.). Проверка программ на языке C с помощью lint (1-е изд., с небольшими изменениями. Изд.). Ньютон, Массачусетс: О'Рейли и партнеры. п. 19. ISBN 0-937175-30-7. Проверено 7 октября 2014 г. Распространенной привычкой программирования является игнорирование возвращаемого значения из fprintf(stderr, ...
8. «Слова имеют значение». 20.11.2020 . Проверено 29 июня 2023 г.
9. «Программирование с уважением». Проект Android с открытым исходным кодом . 16 ноября 2022 г. Проверено 23 января 2023 г.
10. «Инклюзивный язык/en-gb - MediaWiki» . www.mediawiki.org . Проверено 23 января 2023 г.
11. "Твиттер Инжиниринг". Твиттер . Проверено 23 января 2023 г.