4 / 10

为验证程序模块A是否实现了系统设计说明书的要求,需要进行():该模块能否与其它模块按照规定方式正确工作,还需要进行()。