באג

באג בהצגת מסך של [[ויקיפדיה בדפדפן Firefox]]
בָּאג (מונח עברי: תֶּקֶל; באנגלית: Bug) הוא כשל טכני במערכת מבוססת תוכנה, שמתנהגת בצורה שגויה, לא צפויה או שאיננה מתוכננת.

לעיתים משמשת המילה גם לתיאור טעות בתכנון של מעגל אלקטרוני מורכב, שמימושו הוא בחומרה.

==מאפייני הבאגים==
באג עלול לנבוע מעיצוב פגום של התוכנה, מתכנון לקוי של האלגוריתם, מטעות בשלב התכנות, מהבנה לא נכונה של הדרישות, מהתאמה שגויה של דרישות לציפיות הלקוח, משינויים בציפיות הלקוח או בקלטים של המערכת, ועוד. באג יכול לבוא לידי ביטוי בצורות אחדות:
* התוכנה מפסיקה את פעולתה בטרם עת, ללא תוצאות או עם תוצאות חלקיות בלבד. באג מסוג זה נגרם, למשל, בעקבות חלוקה באפס.
* התוכנית נכנסת ללולאה אינסופית, כלומר היא ממשיכה בפעולתה, אך אינה נותנת כל תוצאה, או שהיא חוזרת על אותה פעולה שוב ושוב.
* התוכנית פועלת עד סופה ואף נותנת תוצאות, אך תוצאות אלה אינן תקינות. לעיתים בצורה זו מדובר בתקלות קלות שניתן "לחיות" איתן, כמו למשל תצוגה לא מדויקת של הנתונים על פני המסך.
* התוכנית מבצעת בהצלחה את כל המוטל עליה, אך יש בה פרצה המאפשרת את ניצולה לרעה על ידי גורמים עוינים (ראו אבטחת מידע).

ישנן דרכים פורמליות להוכחת נכונות של תוכנה, אולם ברוב המקרים הדרך לבדיקתה של תוכנה היא באמצעות ניסוי על מספר רב של מקרים פרטיים, תהליך הקרוי ניפוי. גיוונם העצום של המקרים השונים בתוכנה מורכבת הופך את מלאכת הניפוי בטכניקה זו לכזאת שאינה מושלמת, וכך קורה שהמשתמש נתקל בבאג.

על בעיית האמינות של התוכנה עמד דייוויד פרנס:

==טיפול בבאגים==
מפתחי תוכנה משקיעים, בדרך כלל, מאמצים גדולים בניפוי התוכנה כך שלא יהיו בה באגים, אך, כאמור לעיל, אין הם יכולים להתחייב על תוכנה שבה אין ליקויים. בניסיון לשפר את תהליך בדיקת התוכנה פותחו מוצרי בדיקה, נוצר עיסוק של מבקר איכות תוכנה, והוקמו חברות שכל התמחותן היא תכנון וביצוע של בדיקות איכות לתוכנה, באמצעות כלים אוטומטיים, שאחת המפורסמות שבהן היא חברת מרקורי.

בעקבות איתור באג קריטי, מופצת למשתמשים באופן מיידי מהדורה מתוקנת של התוכנות. תיקונים לבאגים פחות קריטיים נצברים אצל מפתח התוכנה ומופצים בגרסה חדשה של התוכנה.

מבחינתו של המשתמש בתוכנה, התגברות על באג מצריכה פעמים רבות פנייה ליצרן התוכנה על-מנת שיספק גרסה תקינה שלה. באופן זמני יכול המשתמש לעיתים לעקוף את הבאג, באמצעות הימנעות משימוש באופציה הגורמת לבאג. לעיתים מצריך הבאג הפעלה מחדש של התוכנית הפגומה, ובמקרים קשים יותר מצריך הבאג אתחול מחדש (ריסט) של המחשב שבו פעלה התוכנה הפגומה.

==אטימולוגיה==
השימוש במונח ה"באג" לתיאור של פגמים בלתי מוסברים הוא חלק מהמינוח המקצועי בעולם ההנדסה כבר מהמאה ה-19, והיה בשימוש מהנדסי מכונות לתיאור של כשלים מכניים. לדוגמה, אדיסון כתב את המילים הבאות במכתב לעמית מ-1878:

בעיות באלקטרוניקה של מכשירי מכ"ם במהלך מלחמת העולם השנייה נודעו כבאגים (או גליצ'ים).

תמונה של הבאג האמיתי הראשון שנמצא במחשב. 
טביעת המושג משויכת בטעות לגרייס הופר, שפרסמה את הסיבה לתקלה במחשב אלקטרומכני מוקדם. גרסה אופיינית לסיפור מופיעה בציטוט הבא:

הופר איננה זאת שמצאה את החרק, כפי שהיא בעצמה מודה, והתאריך לא היה 1945 אלא 9 בספטמבר 1947. המפעיל שמצא את הבאג היה מודע למונח ההנדסי המקורי ומשועשע, שמר את החרק עם ההערה "First actual case of bug being found". אף שברור כי מפעילי מארק II לא טבעו את המונח באג, נטען שהם המציאו את המונח debug (ניפוי).

==סוגי באגים==
באגים בדרך כלל נופלים לתוך אחת משתי קטגוריות:
*באגים תכנותיים - באגים שנובעים מטעות בתכנות (למשל שכחה של הוספת אחד בלולאה שגורמת ללולאה אינסופית)
*באגים עיצוביים - באגים שנובעים מתקלות בעיצוב התוכנה (למשל, אי-הגנה מספקת בפני מתקפות חיצוניות)

==באגים נודעים==
כל משתמש במחשבים נתקל בבאגים הגורמים לו אי-נוחות קטנה או גדולה. לעיתים הנזק הנגרם עקב באג כבד למדי, כפי שמלמדות הדוגמאות הבאות:
* שיגור הניסוי הראשון של משגר הלוויינים אריאן 5, ב־4 ביוני 1996 הסתיים בהשמדה עצמית 40 שניות לאחר שהחל, כתוצאה מבאג של גלישה נומרית במחשב הניווט של המשגר. הבאג נגרם כתוצאה מניסיון להעביר מספר בן 64 סיביות בנקודה צפה למספר שלם בן 16 סיביות, ניסיון שגרם להפסקת פעולתו של המחשב. באג זה היווה ציון דרך בפיתוחן של מערכות בדיקה לתוכנות זמן אמת.
* לקראת שנת 2000 התברר שבנתונים תאריכיים רבים רשומה השנה, משיקולי חיסכון במקום אחסון, בשתי ספרות בלבד. השוואה בין תאריך בשנת 2000 לבין תאריך בשנים שקדמו לה תיתן במצב כזו תשובה שגויה. באג פוטנציאלי זה נקרא "באג 2000", ועורר חשש כבד מאוד. בסופו של דבר לא התממש החשש, במידה רבה עקב ההשקעות האדירות שנעשו לפתרון הבעיה קודם להגעתה של שנת 2000.
*"באג הפנטיום", באג של חלוקה בנקודה צפה במעבד פנטיום, שהתגלה ב־1994. למרות שבאג זה משויך לרוב לחומרה, למעשה הוא באג בתוכנת המיקרו-קוד של המעבד (תוכנה שצרובה על המעבד).
*באג ה-Concon - באג שהיה קיים במערכות מבוססות Windows 9x (95 או 98, אך לא מילניום, שם תוקנה הבעיה): במערכות ההפעלה של מיקרוסופט ישנם "שמות שמורים" להתקני מערכת, שהמערכת לא מאפשרת להשתמש בהם (לדוגמה: con, aux, nul ועוד). הקלדה בשורת הפקודה או ב"הפעלה", או אפילו יצירת קובץ המכיל את השורה, לדוגמה, C:\con\con, הייתה גורמת למערכת ההפעלה לקרוס ולהציג מספר מסכים כחולים. עם הזמן התופעה התרחבה ומשתמשים שבחרו לנצל את הבאג הזה לרעה הפיצו קבצים שכוללים את המחרוזת הזו ברשת האינטרנט וגרמו למחשבים רבים לקרוס.
*באג קראודסטרייק 2024: עדכון תוכנה פגום של חברת קראודסטרייק שגרם להשבתתם של 8.5 מיליון מחשבים ושרתים סעולם.

==ראו גם==
* הבטחת איכות תוכנה
* Bug bounty

==לקריאה נוספת==
* מארק מינאסי, קשר התוכנה, הוצאת פוקוס, 2000

==קישורים חיצוניים==

* 
* 
* [https://www.wired.com/2005/11/historys-worst-software-bugs - historys-worst-software-bugs] באתר מגזין ווירד

==הערות שוליים==

*
קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:תכנות
קטגוריה:טעויות