[#] Статический анализ и property-based тестирование: вместе мы сила
habrabot(difrex,1) — All
2018-01-29 16:45:14


Как известно, баги есть во всех программах. Есть множество способов борьбы с ними: юнит-тесты, ревью, статический анализ, динамический анализ, дымовое тестирование и так далее. Иногда для искоренения определённого бага полезно сочетать разные методики.



Я разрабатываю Java-инспекции в IntelliJ IDEA, которая большей частью написана на Java. В некотором смысле я нахожусь в привилегированном положении по сравнению с другими программистами: доработать статический анализатор IDE, чтобы находить новый класс ошибок — это моя прямая рабочая обязанность, которая при этом же позволяет найти и обезвредить баги в этой же самой IDE. Хочу поделиться одной такой историей успеха.

[Читать дальше →][1]

[1]: https://habrahabr.ru/post/347676/?utm_source=habrahabr&utm_medium=rss&utm_campaign=347676#habracut