Junit - 프로그램 확인 및 화이트 박스 퍼징?

Question

나는 프로그램 검증이 컴퓨터 공학의 한 분야라는 것을 이해한다. 그러나 실제 코드베이스에 대한 실질적인 적용은 조합 폭발에 의해 제한된다.

또한 소프트웨어 변경을 설계 할 때 기존 Java 프레임 워크를 수정하기 위해 알고리즘에 대한 화이트 박스, 경계 및 블랙 박스 테스트를 미리 고려하는 것이 도움이된다는 사실을 알고 있습니다.

이런 생각을 가지고 junit 스타일 테스트에 포함한다고 가정 할 때, 나는 내용의 컴퓨터 과학 이름이 엄격하게 'whitebox 테스트/테스트'라고 가정하고 있습니다. 퍼징 '하고'프로그램 확인 '을 구성하기에는 충분하지 않습니다.

제 질문은 - junit 테스트 - 화이트 박스 퍼징 또는 프로그램 확인입니까?

Answer 1

프로그램 확인은 응용 프로그램과 관련된 수학적 모델을 증명합니다 (프로그래밍 언어의 형식적 의미에서 파생되거나 웹 서비스를 모델링하는 동작 유형 작성과 같은 손으로 유도 할 수 있음).

내 뜻을 이해하기 위해 pi-calculus을 살펴보십시오.

물론 junit은 공식 프로그램 확인과 관련이 없습니다.