由若干子程序模块组成的程序，要保证程序整体的正确性，以下正确的是（）。

• A、不仅需要各个模块是正确的，还要求各模块之间的接口是正确的
• B、只需要各个模块是正确的
• C、只需要各个模块之间的接口是正确的
• D、只需要程序的每个语句是正确的