南理工考研软件工程复习资料：提要与习题5(答案)

习题参照答案【5-1】为了掌握软件开发各个环节的正确性和协调性，人们需要进行（A）和（B）工作。（A）的目的是想证明在一给定的外面环境中软件的逻辑正确性。它包含（C）和（D），（B）则试图证明在软件生