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