模块何时通过infine ...？

Question

lim pn=0
n→∞
p=every inch that estimate be correct
n=number of modules

如果我们有一个带有很多模块的大型应用程序......根据上面的公式，我们面临黑色测试或白色测试的问题......这意味着它趋向于 0（估计每个应用程序都有 n 个模块是正确的）并且它是坏的。它对更少的模块很好，它使 p 接近 1，但是当 n 向大数增长时，就像∞我们的 p 接近 0 那么在大型应用程序中进行什么开发？仍然是oop（不同的模块和类？）我希望有人理解我的问题！

Answer 1

您是在谈论证明应用程序正确的能力，并且随着模块数量的增加，这变得越来越难？

OOP 背后的一个想法是将复杂系统分解为更小的子系统（类、模块，无论您想如何称呼它们），这些子系统更容易单独证明是正确的。理论是，通过组合正确的模块，我们可以构建一个正确的系统。

显然它比这更复杂，但这是我对基本哲学的理解。