|
Модераторы: LSD |
|
bug1 |
|
|||
Новичок Профиль Группа: Участник Сообщений: 1 Регистрация: 13.1.2013 Репутация: 1 Всего: 1 |
Всем привет.
Кто пользуется или использовал программы формальной верификации Java кода? (наподобие КeY www.key-project.org)? Какое Ваше мнение об эффективности таких программ? |
|||
|
||||
LSD |
|
|||
Leprechaun Software Developer Профиль Группа: Модератор Сообщений: 15709 Регистрация: 24.3.2004 Где: Dublin Репутация: 1 Всего: 537 |
При наличии нормально поставленного процесса разработки: code review, unit tests, integration tests. Такие тулы бесполезны.
-------------------- Disclaimer: this post contains explicit depictions of personal opinion. So, if it sounds sarcastic, don't take it seriously. If it sounds dangerous, do not try this at home or at all. And if it offends you, just don't read it. |
|||
|
||||
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Java: Design, Quality, Testing | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |