软件工程 作业

1. 为了把握软件开发各个环节的正确性和协调性，人们需要进行（ A 2 ）和（ B 3 ）工作。 （ A ）的目的是想证实在一给定的外部环境中软件的逻辑正确性。它包括（ C 2 ）和（ D 3 ） ，