多选题 CC安全等级中，评估保证级3(EAL3)的功能是(    )
   A．系统地测试和检查；             B．半形式化设计和测试；      C．形式化验证的设计和测试；
  D．半形式化验证的设计和测试。