填空題為了把握軟件開發(fā)各個環(huán)節(jié)的正確性和協(xié)調性，人們需要進行（）和（）工作。（）的目的是想證實在一給定的外部環(huán)境中軟件的邏輯正確性。它包括（）和（），（）則試圖證明在軟件生存期各個階段，以及階段間的邏輯（）、（）和正確性。

參考答案： 確認；驗證；確認；需求規(guī)格說明的確認；程序的確認；驗證；協(xié)調性；完備性