模塊何時經過infine ...？

Question

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

如果我們有很多模塊，一個大的應用程序......根據上面的方程式，我們面臨與黑色測試或white..it問題意味着去朝0（估計是正確的，其中n模塊，每一個應用程序）和其bad.its good with less modules and it close to 1，but when n grow to toward big number ... like∞我們的p接近於0 那麼開發在大型應用程序中做了什麼？仍然是oop（不同的模塊和類？）我希望有人理解我的問題！

Answer 1

您是否在談論證明應用程序是否正確的能力，並且隨着模塊數量的增加，這變得越來越困難？

OOP背後的一個想法是將一個複雜的系統分解成更小的子系統（類，模塊，無論你想稱之爲什麼），這些子系統更容易被孤立地證明是正確的。理論是，通過組合正確的模塊，我們可以建立一個正確的系統。

顯然它比這更復雜，但這是我對基本理念的理解。