过程检验通常分为：（）、（）、（）三种形式。