A unified model for protocol test suite design