Пояснення про обмеження демонстраційної версії PVS-Studio

PVS-Studio Demo
У обмежень є дві мети. Перша — якнайшвидше показати потенційному користувачеві, що статичний аналізатор може знаходити помилки в коді. Друга — спонукати до спілкування з нами в пошті, щоб допомогти використовувати інструмент правильно. Я впевнений, що ця взаємозв'язок незрозуміла, тому я і вирішив написати цю маленьку замітку.

Обмеження
Спочатку коротко про існуючі обмеження. По-перше, людина може вивчати тільки попередження найбільшого рівня достовірності (High). По-друге, йому доступно тільки обмежена кількість переходів до помилок.

Тепер Давайте розберемо ці два обмеження і причини із-за яких треба було їх створювати. Усі історії, які я розповім засновані на реальних подіях. Створені обмеження є не вигадкою маркетолога, а результатом тривалого спілкування з потенційними користувачами і спостереженнями за процесом знайомства людей з PVS-Studio.

Багато, не означає корисно
Самий типовий неправильний патерн: програміст відразу виставляє настройки попереджень на максимум. Це найбільша наша біль. Вони включають всі типи попереджень (загальні, 64-бітні, оптимізації), всі рівні попереджень, деякі навіть примудряються дістатися в настройках до діагностик, створених на замовлення, і включити їх.

PVS-Studio Face Palm

Свою поведінку програмісти пояснюють тим, що хочуть бачити всі можливості аналізатора. Це неправильно. Правильна мета — побачити, що аналізатор може бути корисний проекту. Тобто, в першу чергу треба побачити, що аналізатор знаходить справжні помилки в коді. Включивши ж все на максимум, людина тоне в попередженнях. Переглянувши 20-30 нецікавих попереджень, людина втрачає інтерес. Швидше за все, на цьому знайомство з інструментом закінчиться. Якщо ж ми скорочуємо набір попереджень, який він може переглядати, то великий шанс, що він помітить справжні помилки. Тоді програміст буде зовсім по-іншому ставитися до інструменту. Він захоче відфільтрувати нецікаві попередження, налаштувати аналізатор під себе, вивчити способи придушення помилкових спрацьовувань в макросах і так далі.

Є ще один момент з великою кількістю попереджень. Програміст може віддавати собі звіт, що дивиться упереміш як пріоритетні, так і низкоприоритетные попередження і готовий переглянути велику кількість повідомлень. Біда в тому, що він швидко втрачає увагу. Грубо кажучи, переглянувши 10 нецікавих попереджень, він з великою ймовірністю пропустить і одинадцяте попередження, яке вказує на серйозну помилку.

З обмеженням рівня попереджень я думаю, розібралися. Тепер поговоримо про кількість переходів по помилок.

Ми поспішаємо на допомогу
PVS-Studio поспішає на допомогу

Коли «кліки» закінчаться, програма запропонує вам заповнити невелику форму з контактними даними, які ми використовуємо, щоб поцікавитися, чи не можемо ми чимось допомогти. Після цього будуть виділені додаткові «кліки».

У чому сенс контакту з нами? По-перше, ми можемо видати тимчасовий ключ для більш повного вивчення PVS-Studio. До цього моменту програміст вже освоївся з PVS-Studio, знайшов помилки в своєму коді, і тепер для нього можна відкрити й інші рівні попереджень.

По-друге, що дуже важливо, ми можемо допомогти людині опанувати PVS-Studio. Ви навіть не уявляєте, як є багато способів використовувати інструмент неправильно. Наведу лише кілька прикладів.

У кого-то є «гидке макрос», на якому аналізатор генерує масу безглуздих попереджень. Людина витрачає все «кліки», ходячи по цим попередженням. Після чого на наше запитання «Все добре?», відповідає в дусі:

Жахливо. Таким аналізатором взагалі користуватися. Я замучився витрачати сотні попереджень з номером Vxxx.

І ми допомагаємо йому, розповідаючи про способах придушення попереджень у макросах, або що для початку, він може просто вимкнути цю діагностику.

Інший чоловік скаржиться, що заважають повідомлення, що відносяться до сторонніх бібліотек.

Ми підказуємо, що повідомлення, що відносяться до бібліотек можна відключити в два кліка мишкою. Дійсно, це 2 кличу.

В обох випадках важливо, що ми підказали, як спростити роботу. Якщо б не було спілкування з нами, люди продовжували мучитися і швидше за все, вирішили навіть не починати обговорення придбання ліцензії.

Я досвідчений
PVS-Studio знищує баг

Залишилося сказати, що робити людям, які не вважають себе новачками у сфері інструментів статичного аналізу. Все просто. Зв'яжіться з нами, і ми видамо вам тимчасовий ключ для вивчення аналізатора.

Джерело: Хабрахабр
  • avatar
  • 0

0 коментарів

Тільки зареєстровані та авторизовані користувачі можуть залишати коментарі.