Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
Сколько стоит одна ошибка в наших прогр…

Сколько стоит одна ошибка в наших программах, или какие ошибки бывают в PVS-Studio и CppCat

28 Фев 2014

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

К сожалению, мы больше не развиваем и не поддерживаем проект CppCat. Вы можете почитать здесь о причинах.

0238_Autohide_ru/image1.png

Однако сегодня – именно статья про одну нашу ошибку и про то, сколько она нам стоила. Заинтриговал?

Мой сегодняшний рассказ будет в лицах, поэтому сначала "титры":

  • Михаил, пользователь CppCat;
  • Евгений (я), автор статьи, имеет отношение к PVS-Studio и CppCat;
  • Андрей, мой коллега, пишет иногда разные статьи;
  • Павел, мой коллега, знает все про интеграцию в Visual Studio;

Однажды в пятницу, 21 февраля мы опубликовали статью "Побочный результат: проверяем Firebird с помощью PVS-Studio", в комментариях к которой объявился Михаил с таким комментарием:

CppCat — то, что нужно! Вам бы сделать отдельный пост про него. Буду выпрашивать у руководства, чай недорого :)

Улыбнувшись, мой коллега Андрей ему ответил, что уже три статьи было про CppCat. Правда коллега тут же получил "нагоняй" за то, что никто не знает про наш новый продукт. Это было в 16:16 по Москве...

Уже в 16:21 в моей CppCat-почте было письмо от Михаила с "хотелкой". Михаил хотел, чтобы сообщения об ошибках CppCat выдавались не в отдельное окно, как сейчас, а в стандартное окно ошибок Visual Studio. С моей точки зрения "хранителя продукта" CppCat это пожелание выглядело нецелесообразным, и я попытался объяснить в почте, что у нас специально сделано отдельное окно, чтобы не путать наши сообщения и сообщения Visual Studio. Что это очень удобно, так как позволяет нам делать окно специализированным и т.п. Но Михаил "не унимался", приводя простой аргумент:

- А как же мне тогда увидеть после перекомпиляции файла ошибки? Вот бы они сразу в окно выдавались...

Но ведь именно с этой целью у нас есть "киллер-фича" инкрементальный анализ! После перекомпиляции файлов автоматически запускается анализатор кода. И только если нашлись реальные ошибки, выдается уведомление в трее и меняется заголовок окна анализатора. В окне появляется фраза о том, что найдены новые ошибки. Режим инкрементального анализа можно включить/выключить в меню.

- Ну да, - ответил Михаил, - галочка "Инкрементальный анализ" у меня стоит. Но как я узнаю, что нашлись ошибки?

После пяти писем, включая скриншоты, стало понятно, что хотя все настроено правильно, ни в трее не выдается уведомления, ни текст окна не меняется. А время было шестой час вечера пятницы...

С мыслью: "Давно не брал я в руки шашек (с позавчера)!", я напросился к Михаилу на компьютер через удаленный доступ с AMMYY Admin. Потыкавшись в свою программу я понял, что действительно уведомлений о новых ошибках нет, хотя программа вроде бы работает. Время близилось к шести вечера, и я пошел к коллеге Павлу, который отвечает за интеграцию в Visual Studio. Показал ему, что я делаю на компьютере пользователя и что не работает уведомление.

Через тридцать секунд Павел сказал:

- Евгений... Ну что же ты забыл, что при команде "Пересобрать все"/"Rebuild All", у нас специально не стартует инкрементальный анализ. Это сделано сознательно и все правильно. И вообще, надо тебе почаще смотреть на свой собственный продукт. А то уже забыл все. Лишь бы в почте на письма отвечать, да статейки про бизнес писать...

Покраснев, я отошел проверять... Однако уведомления не было ни при пересборке одного файла, ни при пересборке нескольких файлов. Я попробовал на другом проекте – результат тот же. Не работает. Причем не работает очень важная функция, которая является киллер-фичей нашего инструмента. Напомню, что все это я пробовал на удаленной машине пользователя. Я пошел к Павлу опять, но было уже почти шесть. И пользователю хотелось домой, и Павлу... Возможно в связи с этим мы вместе так и не смогли понять, почему не работает. Решив в понедельник выдать версию с отладочными логами, мы ушли по домам.

Все выходные я думал об этой проблеме. Виноват ли наш продукт? Если да, то когда могла появиться в коде эта проблема? И сколько людей НЕ КУПИЛО наш продукт, так как очень важная штука работала не так как должна.

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

За понедельник и вторник мы выдали Михаилу несколько версий с максимально детализированными отладочными логами. Но понять, что происходит не могли. Уведомления о новых ошибках просто не было. У него. А у нас было, всегда.

В середине вторника Павел позвал меня:

- Евгений, ты не поверишь... Но у меня не показывается уведомление о найденных ошибках в CppCat!

Вы думаете нам помогли отладочные логи? Нет, Павел СЛУЧАЙНО кликнул на кнопочку auto-hide в окне CppCat внутри Visual Studio. И наше окно стало автоматически скрываться, когда уводишь мышку от него. Поскольку никто из разработчиков не пользуется у нас кнопкой auto-hide, то мы и подумать не могли, что в этом режиме наша нотификация действительно не работает!

То есть если auto-hide выключен (обычный режим), то уведомления о новых ошибках есть, а если auto-hide включен, то уведомлений о новых ошибках нет.

Я попросил пользователя Михаила проверить, действительно ли дело в auto-hide. Он подтвердил, что в нем.

После этого уже было делом техники поправить ошибку. Оказалось, что код плагина неправильно обрабатывал определенный стиль окна. Для программистов я попросил Павла описать проблему и ее решение, но здесь этот текст не привожу, так как он будет понятен только разработчикам плагинов для Visual Studio.

Итак, мы смогли повторить ошибку во вторник во второй половине дня. В среду выдали исправленную бета-версию Михаилу.

Пока Павел делал патч, я общался с Михаилом по поводу лицензионной политики наших продуктов CppCat и PVS-Studio. Хотя ошибка попалась Михаилу, когда он знакомился с CppCat, при дальнейшем общении выяснилось, что и PVS-Studio его команде может быть полезен.

Напомню для тех читателей, кто не знаком с тем, что мы делаем. Мы разрабатываем, продвигаем и продаем два собственных программных продукта CppCat для индивидуальных разработчиков за $250 и PVS-Studio, минимальная лицензия которого на команду до 9 человек стоит чуть больше €5000.

Так вот пообсуждав лицензионные вопросы, Михаил видимо переслал письмо руководству и во вторник же вечером я обсуждал с его начальником вопросы лицензирования PVS-Studio. Мы довольно быстро обо всем поговорили, они пришли к выводу, что им нужен не CppCat, а PVS-Studio.

Но что же с той ошибкой? В среду мы выдали Михаилу исправленную бета-версию, он проверил, что все работает. В среду же я отправил начальнику Михаила счет на оплату PVS-Studio. В четверг я увидел на нашем счету деньги за лицензию. И решил, что неплохо бы описать эту историю, вдруг кому-то она покажется интересной.

Так исправление одной ошибки в продукте за $250 дало нам продажу другого нашего продукта за совсем другие деньги. И все это в течение одной недели, ведь сегодня, в пятницу 28 февраля, вы уже читаете статью об этой истории!

Если вы спросите зачем я это все написал, то ответ мой очень простой. Я горжусь моей командой, тем что мы можем быстро исправлять свои ошибки и тем, что наши клиенты это ценят.

P.S. Огромное спасибо нашему пользователю Михаилу, который помог нам диагностировать ошибку, без него бы этой истории не было. Наши клиенты-программисты – самые лучшие пользователи в мире!

P.P.S. Конечно же клиент получил скидку на покупку.

Популярные статьи по теме
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

Автор: Андрей Карпов

После большой статьи про проверку операционной системы Tizen мне было задано много вопросов о проценте ложных срабатываний и о плотности ошибок (сколько ошибок PVS-Studio выявляет на 1000 строк кода)…
Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

Дата: 21 Ноя 2018

Автор: Андрей Карпов

Краткое описание технологий, используемых в инструменте PVS-Studio, которые позволяют эффективно обнаруживать большое количество паттернов ошибок и потенциальных уязвимостей. Статья описывает реализа…
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

Автор: Андрей Карпов

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…
Эффект последней строки

Дата: 31 Май 2014

Автор: Андрей Карпов

Я изучил множество ошибок, возникающих в результате копирования кода. И утверждаю, что чаще всего ошибки допускают в последнем фрагменте однотипного кода. Ранее я не встречал в книгах описания этого …
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

Автор: Андрей Карпов

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
PVS-Studio ROI

Дата: 30 Янв 2019

Автор: Андрей Карпов

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

Автор: Андрей Карпов

Вы угадали, ответ - "42". Здесь приводится 42 рекомендации по программированию, которые помогут избежать множества ошибок, сэкономить время и нервы. Автором рекомендаций выступает Андрей Карпов - тех…
Как PVS-Studio оказался внимательнее, чем три с половиной программиста

Дата: 22 Окт 2018

Автор: Андрей Карпов

PVS-Studio, как и другие статические анализаторы кода, часто выдаёт ложные срабатывания. Но не стоит спешить считать странные срабатывания ложными. Это короткая история о том, как PVS-Studio вновь ок…
PVS-Studio для Java

Дата: 17 Янв 2019

Автор: Андрей Карпов

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…
Любите статический анализ кода!

Дата: 16 Окт 2017

Автор: Андрей Карпов

Я в шоке от возможностей статического анализа кода, хотя сам участвую в разработке инструмента PVS-Studio. На днях я был искренне удивлён тому, что анализатор оказался умнее и внимательнее меня.

Комментарии (0)

Следующие комментарии

На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять