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