Specification-basedProtocolTesting.pptVIP

Specification-based Protocol Testing Hyoung Seok Hong Oleg Sokolsky CSE 642 Outline Introduction Specifications, implementations Conformance relations Tests, testing architectures Assumptions, etc. Formal protocol specifications Finite-state machine (FSM) testing Extended FSM (EFSM) testing Test generation for StateCharts Testing problem A specification gives a description of the system behavior. An implementation should behave according to the specification. Is this really true? Black-box vs. White-box testing Black-box: unknown system structure Testing against reference specification Use t