Здравствуйте, chukichuki, Вы писали:
CGZ>>GZ>>Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.
C>Видимо речь о том, что для ООП-программы гораздо труднее придумать непротиворечивую и полную аксимоатическую теорию нежели для процедурной или функциональной программы. Оно и понятно. ООП сделан так чтобы программировать как можно менее "строго". А на практике — хз. Я ни одной аксиоматической теории для реальных программ с реальными структурами данных не придумывал.
Да это-то понятно. Но здесь сказано как существенный недостаток тестирование и верификация. Очень хотелось бы узнать что это значит на практике.
С уважением, Gleb.
