| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Java: Design, Quality, Testing > автоматизация поиска ошибок |
| Автор: bug1 13.1.2013, 19:19 |
| Всем привет. Кто пользуется или использовал программы формальной верификации Java кода? (наподобие КeY www.key-project.org)? Какое Ваше мнение об эффективности таких программ? |
| Автор: LSD 14.1.2013, 14:25 |
| При наличии нормально поставленного процесса разработки: code review, unit tests, integration tests. Такие тулы бесполезны. |