1. 프로그램 검증 기법의 주요 분류프로그램 검증은 소프트웨어가 요구사항을 올바르게 만족하는지 확인하는 과정입니다. 크게 다음으로 구분합니다:정적 검증(Static Verification): 프로그램을 실행하지 않고 코드, 설계 문서 등을 분석하는 방법동적 검증(Dynamic Verification): 프로그램을 실제 실행하면서 테스트하는 방법 (대부분의 테스트 기법)2. 화이트박스 테스트 (White Box Testing)정의: 프로그램의 내부 구조와 소스 코드를 완전히 알고 테스트하는 기법. ‘유리상자(Glass Box)’ 테스트라고도 불리며, 개발자 관점에서 코드의 모든 경로, 논리, 구조를 검증합니다.특징:코드 커버리지(문장, 분기, 조건 등)를 측정하며 테스트버그의 원인(로직 오류, 경로 누락 ..