依据GB/T11457—2006《信息技术软件工程术语》，()是一种静态分析技术或评审过程，在此过程中，设计者或程序员引导开发组