在会计软件开发的生命周期法中，（）的主要任务是验证模块的正确性。