南京理工大学软件工程习题5

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