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