Junit - проверка программы против белого ящика?

Question

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

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

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

Так что мой вопрос - тесты junit - фаззинг белого ящика или проверка программы?

Answer 1

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

Взгляните на пи-исчисление , чтобы понять, что я имею в виду.

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