A new method for improving efficiency of protocol testing