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

您可能感興趣的試卷