Junit - Проверка программы VS Whitebox Fuzzing?

Question

Я понимаю, что проверка программы - это ветвь компьютерной техники - но это практическое применение на реальные основные базы мирового кода ограничены комбинаторным взрывом.

Я также понимаю, что в рамках проектирования изменений вашего программного обеспечения для модификации в существующую структуру Java полезно подумать о тестах Whitebox, границ и Blackbox для вашего алгоритма.(Некоторые люди называют эту разработку гамака - мышление перед вами код.)

Предполагая, что вы принимаете это мышление и встраиваете его в тесты в стиле Junit, я предполагаю, что название компьютерных наук для содержимого является строго «тестирование / белочками» / Fuzzing «Whitebox» и недостаточно для включения «проверки программы».

Итак, мой вопрос - это - Junit Tests - Beatbox Fuzzing или проверка программы?

Answer 1

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

.

Посмотрите на Pi-Calculus , чтобы понять, что я имею в виду.

Конечно, Junit не имеет ничего общего с официальной проверкой программы.