软件质量必须在______中加以保证。如果工程能力不够，或者由于各种失误导致产生软件差错，其结果就会产生软件

失效。为了确保每个开发过程的质量，防止把软件差错传递到下一个过程，必须进行______。因此须在软件开发工程的各个阶段______。检验的实施有两种形式：______和______。可在各个开发阶段中结合起来使用。