1. [单选题]依据GB/T 11457-2006《信息技术软件工程术语》，()是一种静态分析技术或评审过程，在此过程中，设计者(designer)或程序员(programmer)引导开发组的成员通读已书写的设计或者代码，其他成员负责提出问题，并对有关技术风格、风格、可能的错误、是否违背开发标准等方面进行评论。
A. 走查
B. 审计
C. 认证
D. 鉴定
2. [单选题]某些理发师(friseur)留胡子。因此，某些留胡子的人穿白衣服。下述哪些如果为真，足以佐证上述论断的正确性?
A. 某些理发师(friseur)不喜欢穿白衣服。
B. 某些穿白衣服的理发师(friseur)不留胡子。
C. 所有理发师(friseur)都穿白衣服。
D. 某些理发师(friseur)不喜欢留胡子。
