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

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

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

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

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

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

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


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

Баги

15 Апр 2013

Баги (Bugs) – это жаргонное название программной ошибки. Ошибкой можно назвать любое недокументированное поведение программы. Однако багами принято называть ошибки, обнаруженные уже на этапе выполнения программы, а не на этапах проектирования, кодирования или отладки.

История возникновения этого термина связана с испытаниями вычислительной машины 'Mark II' 9 сентября 1947 года, когда между контактов электромеханического реле попал мотылек. Извлеченное насекомое было вклеено в технический дневник и рядом сделана надпись "First actual case of bug being found".

Баги могут возникать непосредственно при программировании или из-за ошибок компиляторов. Так же ошибки могут оказаться не в вашем коде, а в сторонних библиотеках, используемых приложением. Случаются ошибки и из-за неправильного использования библиотек. Ошибки компиляторов чаще всего возникают из-за некорректной оптимизации различных конструкций языка программирования. Впрочем, это крайне редкие случаи. Как правило, те ошибки, в которых программист винит компилятор, при детальном рассмотрении оказываются его собственными ошибками (см. заметку "Во всём виноват компилятор").

Чаще всего, для поиска места в коде, где находится баг, используются специальные утилиты - отладки программ (жаргонное название – дебагеры). Они позволяют посмотреть значения переменных, регистров процессора и другие параметры, влияющие на ход выполнения программы и многие другие необходимые параметры. Есть и другие способы, такие как статический или динамический анализ.

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

Часто возникает иллюзия, что само по себе изделие, в котором используется программное обеспечение, надежнее аналогичного, но без программ. Несколько следующих примеров смогут опровергнуть такую точку зрения. Это совсем не так. Разработать надежную цифровую систему ничуть не легче аналоговой системы.

Программные ошибки могут привести к многомилионным потерям или человеческим жертвам. Этому есть много примеров. Так запуск ракеты-носителя "Ариан 5" закончился взрывом. Причиной этому послужило несколько факторов: использование модуля навигационной системы от "Ариан 4", который не был рассчитан на входные значения перегрузки, возникшие при запуске. В навигационной системе использовался программный модуль, выполнявший перевод значений с плавающей точкой в целочисленный 16-битный формат. Именно там и возникло переполнение переменной. Свою роль и сыграло требование на 80% максимальную загрузку процессора, из-за которой были исключены из проверки на возможное переполнение переменные, ставшие причиной переполнения. Самое парадоксальное, что вызвавший отказ модуль уже был не нужен. Данные от него требовались в течение первых 7 секунд полета и это время они были корректны. Авария из-за переполнения случилась на 37 секунде.

В 1985-87 годах 6 человек получили смертельную дозу радиации из-за программной ошибки в медицинском ускорителе Therac-25. Программные ошибки были и в предыдущих версиях ускорителя, но там была предусмотрена механическая защита от переоблучения и никто не получал смертельных доз. Одна из главных программных ошибок заключалась в возникающем состоянии гонки при вводе исходных данных для сеанса лечения.

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

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

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

Библиографический список

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

Дата: 21 Ноя 2018

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

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

Дата: 22 Дек 2018

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

В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub, GitLab или Bitbucket. Им предоставляется возмо…
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

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

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

Дата: 27 Июн 2017

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

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

Дата: 20 Мар 2017

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

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

Дата: 30 Янв 2019

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

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

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

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

Дата: 19 Май 2017

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

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
Эффект последней строки

Дата: 31 Май 2014

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

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

Дата: 17 Янв 2019

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

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

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

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

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