填空题
为了把握软件开发各个环节的正确性和协调性，人们需要进行（）和（）工作。（）的目的是想证实在一给定的外部环境中软件的逻辑正确性。它包括（）和（），（）则试图证明在软件生存期各个阶段，以及阶段间的逻辑（）、（）和正确性。
【参考答案】
确认；验证；确认；需求规格说明的确认；程序的确认；验证；协调性；完备性
点击查看答案
