为了把握软件开发过程中各个环节的正确性和协调性，人们需要进行( )和( )工作。( )的目的是想证实在给定的外部环境中软件的逻辑正确性，它包括( )和( )。( )则试图证明在软件生存期各个阶段，以及阶段间的逻辑( )、( )和正确性。

  供选择的答案：