本文描述了一个实际的案例研究,一个混合的方法基于模拟和基于目标性测试进行了测试特殊的协议实现-This paper describes an actual case studies, a hybrid approach based on simulation and testing of special agreements based on the target test