根据GB／T 11457—2006《软件工程术语》，由某人、某小组或借助某种工具对源代码进行的独立的审查，以验证其是否符合软件设计文件和程序设计标准，称为( )。