Huawei תחפש פגמים בקוד התוכנית באמצעות מנתח סטטי

Статический анализатор будет автоматически проводить валидацию программного кода и находить скрытые

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

בנוסף ל- Huawei, רשימת התושבים החדשים ו-השותפים כללו 15 חברות, כולל Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark ואחרים.

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

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

לקרוא נוסף

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

מטוסים בלתי נראים כבר לא יכולים להסתיר: סין יוצרת מכ"ם קוונטי כדי למצוא אותם

מדענים אמרו למי יש סיכוי גבוה יותר לחלות בקורונה בגל הבא