• 成员测试
  • 空性质测试
  • 等价性质测试