A适用于客户需求被明确定义的情况B适用于客户需求难以清楚定义的情况C提供一个精确表述的形式化规格说明D很难产生有意义产品的一种冒险模型