测试步骤的断言改为集合形式
并重新定义了断言的数据结构和判断机制