to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

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

close form
check circle
Ваше сообщение отправлено.

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


Если вы так и не получили ответ, пожалуйста, проверьте папку
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. Программные ошибки были и в предыдущих версиях ускорителя, но там была предусмотрена механическая защита от переоблучения и никто не получал смертельных доз. Одна из главных программных ошибок заключалась в возникающем состоянии гонки при вводе исходных данных для сеанса лечения.

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

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

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

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

Популярные статьи по теме
Хорошо ли ChatGPT ищет ошибки в коде?

Дата: 02 Мар 2023

Автор: Артём Ровенский

Нейросети всё больше вливаются в привычный мир, пытаясь упростить нам жизнь. Тот же ChatGPT вызвал бурю обсуждений в интернете. Чат бот способен писать тексты, код, рефераты и песни. Он даже умеет ис…
Обзор плагина PVS-Studio для Visual Studio Code

Дата: 02 Фев 2023

Автор: Андрей Москалёв

Благодаря новому плагину PVS-Studio преимущества статического анализа теперь доступны и при работе с редактором Visual Studio Code. В этой статье мы разберём использование плагина от этапа установки …
Изменения в PVS-Studio, о которых полезно знать

Дата: 31 Янв 2023

Автор: Сергей Васильев

В этой статье расскажу о том, что появилось в PVS-Studio за последние три года, и чем это полезно пользователям анализатора. Статья модульная: можно не читать от начала до конца, а посмотреть только …
C++ — язык 2022 года. Почему так, и что с другими языками?

Дата: 20 Янв 2023

Автор: Сергей Васильев

C++ становится языком 2022 года по версии TIOBE, обгоняя Python. Rust, C#, Go и прочие — далеко позади. Странно? Сейчас разберёмся.
PVS-Studio в 2022 году

Дата: 19 Янв 2023

Автор: Полина Алексеева

На дворе январь 2023, а значит, самое время подвести итоги уже прошлого 2022 года. Мы расскажем, чем занимались, и покажем, что нового появилось в анализаторе за это время. Давайте вместе взглянем на…

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

Следующие комментарии next comments
close comment form
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо