5 / 10
为验证某程序的模块A是否正确实现了规定的功能,需要进行();为验证模块A能否与其他模块按照规定方式正确工作,需要进行( )  。