בחברת ProActive Modeling אנחנו מתמחים בפיתוח תוכנה בגישות מתמטיות (הנקראות שיטות פורמליות) שהן הגישות האפקטיביות ביותר לפיתוח תוכנה באיכות גבוהה. את הידע בתחום רכש ד"ר דוד פייטלסון, מייסד החברה, במסגרת לימודי התואר השני והדוקטורט באוניברסיטת אוקספורד שבאנגליה — אחד המרכזים הגדולים בעולם לפיתוח ולימוד התחום. שיטות פורמליות הן אחד התחומים החמים ביותר כיום בשטח הנדסת התוכנה הן באקדמיה והן בתעשייה.
ביחד נוכל:
✓ לקצר את זמני הפיתוח ולצמצם עלויותמחקרים מראים שאנחנו מבזבזים כ-50% מזמן הפיתוח על תיקון שגיאות שנוצרו בשלבים הראשונים של תהליך הפיתוח (בשלבי איסוף הדרישות, האפיון והתכנון). באמצעות שימוש בטכניקות מתמטיות אנחנו יכולים לאתר את השגיאות הללו כבר בשלבים הראשונים, הרבה לפני שהן מתגלגלות לקוד וכך לחסוך את הזמן והכסף הרבים המוקדשים לאיתורן ולתיקונן.
✓ לשפר את איכות התוכנההמחקר מראה שבממוצע אנחנו מכניסים שגיאה אחת לכל 100 שורות קוד. לעומת זאת, בחברות המשתמשות בטכניקות פורמליות ממוצע השגיאות הוא פחות משגיאה אחת לכל 10,000 שורות קוד— מעל לפי מאה טוב יותר מהממוצע בתעשייה.
✓ לשפר את מוניטין החברהמערכת תוכנה אמינה נותנת תחושת בטחון למשתמשים בה ומעלה מאוד את המוניטין של יצרן התוכנה. על ידי שימוש בשיטות פורמליות נוכל לצמצם באופן משמעותי את כמות השגיאות ולכן לשפר באופן משמעותי את חווית המשתמש של הלקוחות שלך.
✓ לשפר את אבטחת המידעאנחנו יודעים שיש קורלציה גבוהה בין כמות השגיאות וכמות פירצות האבטחה במערכות תוכנה. אכן, הרבה התקפות מוצלחות מתחילות מניצול של שגיאה בתוכנה. לכן, יתרון נוסף לצמצום משמעותי של כמות השגיאות הוא שיפור משמעותי ביכולת המערכת להתגונן מפני איומים. ✓ להקטין סיכונים ולשפר את הערכות הזמניםהערכת זמנים מדוייקת חיונית להצלחת פרוייקט התוכנה שלך. אך זוהי משימה קשה בשל אי הודאות הרבה הכרוכה באיתור ותיקון שגיאות. באמצעות שימוש בשיטות פורמליות אנחנו יכולים לודא שאפיון המערכת סגור ונקי מסתירות ושתכנון המערכת אכן תואם את האפיון. כתוצאה מכך כמות השגיאות המהותיות והיקרות תקטן והבטחון בהערכות הזמנים שלנו יגדל.
מעוניינים ביותר מידע? אל תהססו ליצור קשר
|
|
|
Welcome |