Результаты поиска

Мне интересно, насколько это хорошая идея - делать проверки в геттерах и сеттерах или где-то еще в коде.

Это может удивить вас, когда речь заходит об оптимизации и ускорении кода, я думаю, что вы должны делать проверки не в геттерах и сеттерах, а в коде, где вы обновляете свои файлы или базу данных. Неужели я ошибаюсь?

• Для каких типов приложений вы использовали проверку моделей ?
• Какой инструмент проверки модели вы использовали?
• Как бы вы суммировали свой опыт w/ этой техники, в частности, в оценке ее эффективности в обеспечении более высокого качества программного обеспечения?

В ходе моих исследований у меня была возможность использовать Spin, и это вызвало мое любопытство относительно того, сколько фактической проверки модели происходит и какую ценность получают организации из нее. В моем опыте работы я работал над бизнес-приложениями, где (естественно)нет никакого рассмотрения применения формальной проверки к логике. Я бы очень хотел узнать о SO людях, которые проверяют опыт и мысли по этому вопросу. Станет ли проверка моделей когда-нибудь более широко используемой развивающейся практикой, которую мы должны иметь в нашем инструментарии?