검증의 신뢰성과 보안 강도를 검증하기 위한 제약 랜덤 트래픽 생성기를 구현한 경험이 있나요?

제약 랜덤 트래픽 생성기에서 제가 의식하는 건, 유효한 패턴뿐 아니라 비정상 트래픽도 제약으로 모델링해 예외 처리를 검증하는 일입니다. 보안과 신뢰성 검증은 정상 흐름만 봐선 부족하고, 인증되지 않은 접근이나 경계 주소 오버플로우, 프로토콜 위반 패킷 같은 비정상 입력에 설계가 제대로 대응하는지를 봐야 하기 때문입니다. 그래서 저는 rand 변수와 constraint 블록으로 유효 범위를 정의하는 데 더해, 비정상 케이스도 constraint로 모델링해 그 자극에 예외 처리가 올바른지를 확인합니다. 구체 결로는 분포와 시드를 조정합니다. 검증 결로는 커버리지 수렴을 완료 기준으로 보고, 시드를 달리한 회귀로 반복하다 커버리지 홀이 남으면 지정 테스트로 보완합니다. 다만 본인 사례와 한계를 짚습니다. 저는 수업에서 UVM 제약 랜덤 환경을 구축한 수준이라, 실제 보안 검증에서 비정상 트래픽 제약을 정교하게 설계하거나 대규모 회귀로 커버리지를 닫아 본 경험은 없습니다. 그래서 비정상 트래픽을 모델링하는 시각을 토대로, 그 검증 역량을 더 키우려 합니다.