אנדרואיד

כיצד להימנע מבעיות תוכנה

NINJAS PODEROSOS QUE NÃO FORAM EDO TENSEI NA 4.ª GUERRA NINJA - Naruto Shippuden

NINJAS PODEROSOS QUE NÃO FORAM EDO TENSEI NA 4.ª GUERRA NINJA - Naruto Shippuden

תוכן עניינים:

Anonim

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

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

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

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

קרא גם: 10 סיבות שאסור לך להזדרז לקנות אייפון X

1. הפסקת רב-מדינה 911 בארה"ב

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

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

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

2. הארקת צי הצי של יונייטד איירליינס

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

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

3. תקלת דוושות מאיץ של טויוטה

בספטמבר 2007, ג'ין בוקאוט נסעה בכביש המהיר 69 באוקלהומה עם הנוסעת ברברה שוורץ, כאשר נקלעה לקשיים בשליטה בטויוטה קאמרי שלה.

היא ניסתה להרים את רגליה מהמצערת אך המכונית המשיכה להאיץ. דוושת הבלם לא הצליחה לעצור את המכונית והיא נאלצה להשתמש בבלם החירום שלה.

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

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

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

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

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

כישלון תרמוסטט של קן

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

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

ראה הבא: Selfies אינם כה נחמדים כמו שהמדיה החברתית הפכה אותם מאוחרים

ניתוח קצר של סוגיות תוכנה

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

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

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

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

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

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

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

קרא גם: אנו דוחפים את ילדינו לעיוורון

מחשבות אחרונות

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

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

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

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

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

ראה הבא: בינה מלאכותית: טיפוסים והעתיד שזה מחזיק לבני אדם