バグ とは、英語で「虫」の意である。コンピューター業界ではプログラムの誤りや欠陥を表す用語として使われる。

ソフトウェア・ハードウェア開発における契約文書など、法的な文書ではバグのことを「瑕疵」（かし）と記述する。原因や責任の所在などが不明なものを特定性の低い表現の「不具合」と呼ぶことがある。また、セキュリティ面に関わる脆弱性や欠陥は「セキュリティホール」などと呼ばれることもあり、バグはこれらの原因のひとつになりうる。

多くのバグが含まれ、機能的に正常な役割を果たさないものを、バギー・プログラムと呼ぶことがある。

なお、発生したバグを探して修正する作業はデバッグと呼ばれる。

原因と影響 

プログラミング上の主なバグには、論理的なバグと誤記によるバグがある。

論理的なバグは、プログラムの設計過程において発生する。無限ループや計算間違いなどを引き起こし、時にはコンピュータを暴走させたり、逆に停止させたりすることもある。

誤記によるバグは、プログラムの実装過程において発生する。存在しないプログラムの参照、意図した範囲を超えた計算結果、数値計算の誤りなどを引き起こす。論理的なバグと同様に、コンピュータを暴走させたり停止させたりすることもある。

他に、オペレーティングシステム、デバイスドライバあるいは仮想マシンなどの実行環境や、コンパイラあるいはライブラリやアプリケーションフレームワークなどの開発環境にバグが含まれていることにより、アプリケーションソフトウェアにバグが発生することがある。2000年問題のように、ソフトウェアが本来予測された耐用年数を超えて運用された結果、仕様がバグになってしまったものも環境依存のバグといえるだろう。

安易な修正（バグフィクス）は避けられる傾向にある。修正内容にバグを含んでいる場合や、関連するプログラムがバグの存在によって正常に動作していた可能性があるためである。「正常に動作しているものは触らない」、「寝ているバグは起こさない」と言われる。しかし現実は、ハードウェアや言語の仕様では定められていない動作などを利用していて「偶然うまく動いているだけ」という壊れている多くのシステムを放置する言い訳として、このような主張がされることが多く、そういった場合には「何が起きるかわからないから、ハードウェアの同等品へのリプレースも、OSや処理系のバージョンアップも、セキュリティフィックスのパッチ当てさえもできない」という、ますます危険になり続けているシステムが放置される結果となる。

語源 
「バグ」は英語からの外来語であるが、この言葉はコンピュータの登場以前から、機械装置の原因不明な不具合をあらわす符牒として技術者の間で使われていた。たとえば1878年にエジソンが同僚に宛てた手紙のなかで、彼は機械の不具合のことを「バグ」と呼んでいる。また、第二次世界大戦中には、レーダーの故障をバグと呼んでいたという記録が残っている。現在の米口語では、バグはコンピュータのバグや虫の意味のほかにも、動詞として「人を悩ませる、いらいらさせる」という意味でよく使われる。

コンピュータのソフトウェアに間違いが入るという概念自体は古く、その起源はチャールズ・バベッジによる解析機関にまでさかのぼる。解析機関のプログラミングを担当したエイダ・ラブレスはすでに1842年に残したメモの中で、計算手順を示したカードの入れ間違いにより誤った計算結果が得られる危険性を示唆していた。

コンピュータに関しては、グレース・ホッパーが、のプロジェクトで働いていた時に、バグとして本物の虫を発見したという話がある。不調になったMark IIを調べたところ、リレーの間に虫（蛾）が挟まっていたのを別の技術者が発見した。彼女はこれを、作業日誌にテープで貼りつけて「本物の虫が『バグ』として発見された最初の例」と書き残した。この日誌は米海軍歴史博物館に保管されている。

他にも、シェイクスピアの『ヘンリー四世』で忌まわしきものという意味で使われていた「バグ」という単語に由来するという説もある。プログラム上の欠陥を虫に見立てて呼ぶようになったという説もあるが、これは誤りとされている。

対策 
通常、ソフトウェアが仕様通り正常に動作するかどうかを確認するソフトウェアテスト（プログラムテスト）を実施し、その過程でバグが発見されればソフトウェアを修正した上で再びテストを実施、仕様通りに正常に動作するよう仕上げていくことになる。

しかし、ソフトウェアに『バグが存在すること』を立証するには、何かひとつの手順によって再現させるだけでよいが、「ソフトウェアに『バグが絶対に存在しないこと』を立証する方法」はので、ある程度の複雑さを持つプログラムにおいて、バグの数を 0 に近付ける以上のことはできない。仮にソフトウェアテストで存在を証明された既知のバグをすべて除去したとしても、そのソフトウェアに他のバグが一切存在しない、ということにはならない。

エドガー・ダイクストラは以下のような格言を残している。

実際に、のOSなど膨大なプログラミングを必要とするものには、「バグのないソフトウェアは無い」と言われている。

もしすべてのバグを完全除去したソフトウェアを作成しようとした場合、製品の開発・デバッグ・テストからリリースまでに膨大な時間とコストがかかってしまい、開発費用を回収できなくなってしまう。このため、ソフトウェアメーカーの多くは、ある程度のバグが残っていても、致命的な不具合や主要機能への影響がなく、また別の回避策があるなどの想定範囲内のバグであれば、既知の問題点としてユーザーに告知した上でリリースしたりしている。

例えば銀行のオンラインシステム（勘定系システム）などは、社会基盤を支える重要度の高いシステムであるが、年に数度ダウンする程度が目安となる。それ以上の品質を確保するよりも、問題が顕在化した時点で対処した方が、費用対効果の点で有益であると判断されるからである。

出荷後は、開発元が想定・考慮していない操作を行なった際にバグが発見されることが多い。メーカーのプログラマやテスト担当者は専門家としての知識・経験があるため、無意識のうちに危険な操作や負荷のかかる操作を避けてしまうことも多く、逆に想定外の操作により発生するバグの発見はしばしば困難である。このようなバグは専門知識の無い一般利用者が使用することで発見されることも少なくない。

では、バグが残っていることを前提にした上で、最新の機能や修正した機能を搭載したソフトウェアをアルファ版やベータ版として一般利用者に試用してもらい、報告されたバグを正式版までに修正するという手法もよくとられる。特にセキュリティ上の脆弱性や致命的なバグの発見者に対して報奨金を支払うベンダーもある。また、ゲーム製品などでは、素人の一般人に試用してもらいバグを発見する専門の仕事もある。

また、では本来想定していない動作ではあるが、基本動作に影響がない場合に「仕様」としてしまうこともある。

バグ修正や機能追加によってソフトウェアに新たなバグが混入してしまうことを防ぐには、既存機能が仕様通り正常に動作することを保証するための単体テストを自動化してリグレッションテストの機会を増やすことが挙げられる。この開発手法はテスト駆動開発と呼ばれ、リファクタリングやアジャイルソフトウェア開発の要となっている。

AIの発達に伴い、プログラマーの書くコードをAIに監視させ、バグにつながりそうなコードを書いたら警告を与えてバグの発生を未然に防ぐ手法もある。難点としては大量の学習用データとマシンパワーが必要とされている。

バグ管理

バージョン管理システム 
消費者向けアプリケーションソフトウェアの場合、一般的にはバージョン管理システムと呼ばれる数値で行うことが多い。バージョンの数値が大きいほど、バグの修正や機能の追加が行われていることを表す。コンシューマ向けOSなどの場合、メーカーではこれらを定期的に修正した修正プログラムを提供している。既知の問題の修正箇所を、個別に修正の実施と未実施を調べる。近年ではバグ管理システムなどに移行している。

マイクロソフト では毎月第二火曜日（日本ではその翌日で、単なる第二水曜日ではないことに注意）に自社製品のバグの対策プログラムを発表するようになった。以前は修正プログラムが完成した都度に発表していたが、ユーザが頻繁に修正プログラムの発表を調べなくてはならず、修正が行われずに放置されてしまう場合が逆に増えてしまっていた反省によるものである。ただし、既に実害が発生している場合などは即時の発表が行われている。他社もマイクロソフトに倣って第二火曜日近辺に発表することが多くなった。

バグ管理システム 
近年、ソフトウェアの開発においてはバグの修正が重要な作業と考えられている。バグを漏らさず修正し、再発を防ぐには、バグの発見日時や発見者、再現方法、修正担当者、修正履歴、修正方法、重要度、テスト状況などの多くの情報を残し管理する必要がある。開発によっては数千という数のバグが発生し、また多数のテスト担当者や修正担当者が関わっていることを考慮すると、従来のファイルレベルの管理では追いつかなくなっている。このような背景から、バグを管理するソフトウェアであるバグ管理システムが生まれた。バグトラッキングシステム (BTS) とも呼ぶ。

バグ管理システムは、ウェブサーバ上で動作し、ウェブブラウザ経由でアクセスできるようになっている。また電子メールとも連動し、修正時にテスト担当者やバグ報告者にメールが送信されるものもある。

主なバグ管理システムにはBugzillaや影舞などがある。また、最近ではウェブサーバを必要としないP2Pアーキテクチャによるバグ管理システムの Papilio といったものも登場した。

バグ管理システムは、バージョン管理システムと同様、ソフトウェアを開発する上での必須ツールになりつつある。

バグとソフトウェア工学 
ソフトウェアでバグを出さない最も良い方法は、そもそもバグが起こりにくい開発を心がけることだといえる。バグが起こりにくい環境では、その分工数に余裕が持てる上、ソフトウェア自体の性能も良好になりやすいという、正の相関性が見られる。正しい環境の追求は非常に重要な問題である。

どのような方法論をとれば開発過程にひずみを産まないか、安全なプログラムを書くにはどのような言語を用いるべきか、適切な人員配置とコミュニケーションはどのように行われるべきか、等々、そのような知見を扱う分野はソフトウェア工学と呼ばれる。

コンピュータゲームにおけるバグ 

コンピュータゲームも一般的なソフトウェアのひとつであり、同様にバグは存在する。進行やセーブデータ保全に影響するようなものの場合はゲーム雑誌などで告知されたり、影響力が大きい人気ゲームの場合は新聞でも取り上げられたり重大なバグだとメーカーが判断した場合は対策がなされる。ハードディスクなどの書き換え可能なストレージにインストールする汎用PC向けソフトウェアならば公式ウェブサイト上で修正パッチを配布する事でも対応できるが、メディアから直接起動するのが原則であるパッケージ販売の家庭用ゲームソフトのバグは以前はアップデートが困難あるいは不可能であったため、無償で修正版との交換が行われることもあった。近年ではほとんどの家庭用ゲーム機がネットワーク機能に対応し、またパッチデータを後からインストールする余裕のある大容量ストレージを搭載するようになったため、パッケージ販売のソフトでもPCソフトと同様にネットワークを通じて修正パッチを配布して対応されるようになった。しかし、発売後に発覚したバグは再出荷の際にも放置されるゲームもある。

また、ユーザーがバグを裏技や小技として利用することがある。中には『スペースインベーダー』の「名古屋撃ち」等のように、元々はバグにより発生した開発者の意図しない現象であったものが、後に正式な仕様の裏技として認知されるケースもある。

さらに、画面表示が異常になった状態を俗に「バグる」と呼ぶことがあるが、本来はバグ（もしくは他の要因）の結果、表示が異常になったものである。ほかにも、意図的に動作不良を起こさせた状態をバグと呼んだり、異常な形で現れた要素を「バグキャラ」「バグアイテム」等ということもある。これらは、コントローラーや本体のスイッチなど利用者に公開されている操作によって発生すればバグであるが、本体に衝撃を与える、端子を短絡させる、動作中にカセットを挿抜する、電源電圧を不安定にする等して引き起こす現象をバグと表現するのは適切ではなく、英語ではこのような現象を指す場合はbugではなくglitchを用いる。

非電子系ゲーム（ボードゲーム、実際のスポーツ等）をコンピューター上で再現する類のゲームの場合、実際のゲームと異なる動きをする場合にバグと呼ばれることがある。多くの場合そういったものはメーカーは「バグ」という表現を避け、「異なる仕様がある」という説明にとどめる傾向にある。

2次元コンピュータグラフィックスを使った作品（2Dゲーム）は物体同士の衝突判定や画面表示位置などの座標計算処理が比較的簡単である一方、3次元コンピュータグラフィックスを使った作品（3Dゲーム）は次元が1つ増えるだけで空間の複雑度が急激に増加するため、座標計算処理の実装ミスやハードウェアの表示限界などによりバグを引き起こしやすくなり、壁と壁の間に挟まりキャラクターが移動できなくなる、本来表示されるべきオブジェクトが表示されなくなるなどの不具合現象が発生することが多くなる傾向がある。

オンラインゲームでは、参加プレイヤーのスコアをもとにランク付けや報酬分配をしたり、作品内の通貨やアイテムなどを購入するためにユーザーがゲーム本体とは別に追加料金を支払う課金システムを採用したりするものが多い。このシステムにバグが生じることでランキングを不正に操作したり、課金なしで無制限に購入することができてしまったりするなどの不都合が発生すると、ゲームとして致命的な問題になるため、ゲームサーバーを一時停止してでもバグを修正する必要がある。オンラインゲームの中には、利用規約でユーザーがバグを意図的に発生させる行為を禁止しているものもある。これらは不正行為と言われる。

バグによって引き起こされた裏技（バグ技）についてはバグ技も参照。