A.

功能与模块之间的对应关系

B.

软件规格说明是否符合用户的要求

C.

软件是否具有可测试性

D.

软件是否具有良好的可靠性