为验证程序模块A是否正确实现了规定的功能，需要进行 （1） ；为验证模块A能否与其他模块按照规定方式正确工作，需要进行 （2） 。