DARPA משיקה סיבוב שני של קוד בדיקת משחקים מקוונים

Posted on
מְחַבֵּר: John Pratt
תאריך הבריאה: 16 יָנוּאָר 2021
תאריך עדכון: 4 נוֹבֶמבֶּר 2024
Anonim
You Will Wish You Watched This Before You Started Using Social Media | The Twisted Truth
וִידֵאוֹ: You Will Wish You Watched This Before You Started Using Social Media | The Twisted Truth

השלב הראשוני של צבא ההגנה של ארה"ב מתקדם מחקר פרוייקטים של הסוכנות (DARPA) קהל המקור ssced אימות (CSFV) הניסוי הושק בשנת 2013. הניסוי נוצר כדי להילחם יקר, זמן רב pitfalls של שיטות אימות קוד המסורתית.


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

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

המשחקים האלה [2013] תרגמו את פעולות השחקנים לתוך הערות התוכנית וסייעו למומחי אימות פורמליים ביצירת הוכחות מתמטיות כדי לאמת את היעדרם של סוגים חשובים של פגמים בשפות התכנות "C" ו- "Java". ניתוח ראשוני עולה כי לא מומחים ששיחקו משחקי CSFV יצרו מאות אלפי הסברים.

הכותרות החדשות כוללות פאזלים דינמקר, פרדוקס, ו פיצול בינארי, "משחק מדע" מפת רפאים, ו פנטזיה sim מפלצת הוכחה. כל משחקי CSFV של DARPA, כולל אלה משלב הפרויקט לשנת 2013, זמינים באופן מקוון ב- Verigames. השחקנים חייבים להיות בני 18 ומעלה כדי להשתתף.