네트워크 프로토콜 테스팅

Question

네트워크 프로토콜 테스트 (프로토콜에는 L2, 특히 L3 계층 프로토콜 포함)에서 자신을 마스터하려고합니다. 링크, PDF 등을 진행하는 방법에 대한 제안은 감사하겠습니다.

감사

Answer 1

를 참조하십시오 http://en.wikipedia.org/wiki/Model_checking

을 그것은 보풀보다 더 공식적인한다; 결과적으로 주어진 프로토콜에 대해 주어진 프로그램이 얼마나 정확한지에 대한 더 강력한 측정을 제공 할 수 있지만 적합한 모델 및 모델 검사 소프트웨어를 만드는 것이 훨씬 더 많은 작업 일 수 있습니다. Fuzzers는 처음부터 버그를 반환하기 시작합니다. :)

Answer 2

퍼징은 무작위로 수행 할 수있는 설치 방법,하지만 직접 테스트입니다. 또 다른 방법은 세션에 참여하는 당사자가 올바르게 프로토콜의 모델을 따르고 있는지 검증한다 Frameworks for network protocol fuzzing?