משתמש:Erez Ovadia/ארגז חול

בדיקות אורקל אוטומטיות

ניתן לקרוא על בדיקות אוטומטיות ובדיקות אורקל בדפים הבאים:

• בדיקות אוטומטיות
• בדיקות אורקל

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

המוטיבציה להפוך את התהליך לאוטומטי

זיהוי האם חלב מקולקל האוטומציה שלנו באה לבדוק בהינתן חלב ובהינתן אבחנה של מצב החלב (מקולקל\לא מקולקל), האם האבחנה נכונה.

אז מה נבדוק:

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

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

אסטרטגיה לבניית יוריסטיקה לבדיקת אורקל

מספר דברים שצריך לקחת בחשבון:

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

עומק המידע צריך להיות גם כללי וגם ספציפי:

מאפיינים כלליים – משקל ממוצע לשקית חלב , מרקם חלב נורמלי, כמות קרטוני חלב
מאפיינים סטטיסטיים – ההסתברות ל-X קרטוני חלב מקולקלים במשלוח, הסיכוי לתנאי קירור טובים במקום האיחסון

פשטות:

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

קטגוריות של "אוטומציות לבדיקות אורקל"

בדיקות מובנות מפרט - במפרט המערכת קיים הידע של "איך המערכת צריכה לפעול" ולכן ניתן לבדוק האם הפעילות מוגדרת כ"נכונה" או "לא נכונה"

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

בדיקות מבוססות רשתות ניורונים - ניתן להתייחס אל רשתות ניורונים כאל אורקל אשר ישערך את נכונות הפתרון – "הפתרון נכון ב-70%" כלומר 70 אחוז מהקישורים ברשת אמרו "פתרון נכון".

בדיקות N-Version - שימוש בגרסאות קודמות כעזר לאבחון נכונות התשובה בגרסה הנוכחית