使用GraphWalker作为WebSocket服务器的MBT



使用作为WebSocket服务器运行的GraphWalker对二进制搜索树进行基于模型的测试。作为WebSocket客户端进行测试