Вы говорите о возможности доказать, что приложение правильно, и что это становится сложнее с увеличением количества модулей?
Одна из идей ООП состоит в том, чтобы разбить сложную систему на более мелкие подсистемы (классы, модули, как бы вы их ни называли), которые легче доказать правильными в изоляции. Теория состоит в том, что, комбинируя правильные модули, мы можем построить правильную систему.
Очевидно, что это сложнее, но это мое понимание основной философии.