­

הרשמה לאתר

להמשך תהליך הרכישה עליך להיות רשום באתר

כניסת משתמשים רשומים

שם משתמש (דוא''ל) *
סיסמא *
arrow Iconהתחבר שכחתי סיסמא


הרשמה לאתר


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




arrow Iconהרשמה
תקנים בסל הקניות שלך
סה"כ: ש"חלתשלום

מילון מונחים תוצאות

 

מילון טכנולוגיות המידע
חפש

ניפוי ובידוק נמצאו 35 מונחים

  • ניפה [debug [v

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

  • תוכנית מיפוי debugger

     תוכנית-עזר לניפוי.

  • הטיל [dump [v

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

  • הטלה (dump (1

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

  • הטל נתונים (dump (2

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

  • הטל בורר selective dump

    היטל של אתרי אִחסון מוגדרים בלבד.

  • הטל שינויים change dump

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

  • הטל סיום\הטל סיום לא-תקין postmortem dump

     היטל הנוצר בגלל סיום לא-תקין של ביצוע תוכנית.

  • הטל בזק snapshot dump

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

  • הטל זיכרון memory dump

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

     

  • בידוק ידני desk checking

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

  • ביצוע מקלט playback

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

  • ביצוע חוזר replay

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

  • פעולת צעד-צעד single-step operation

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

  • תוכנית איבחון diagnostic program

     תוכנית שנועדה לגלות, לאתר ולתאר תקלות בציוד או שגיאות בתוכניות אחרות.

  • תוכנית מעקב trace program

     תוכנית המבצעת מעקב.

  • מילכוד קוד פעולה operation code trap

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

  • תוכנית הגהה\בידוק checking program

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

  • טלאי patch

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

  • הטליא [patch [v

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

  • טענת תנאי, קביעה assertion

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

     

  • קבוע, משתמר invariant

     התכונה של מה שמִשתמֵר בתוך סביבה מסוימת.

  • קבוע לולאה loop invariant

     מצב או תנאי המשתמר במשך כל זמן ביצוע הלולאה.

  • תנאי קדם precondition

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

  • תנאי-אחר postcondition

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

  • הוכחת נכונות (1)-הפעולה correctness proving

     פעולת ההוכחה המתמטית הפורמלית שהסמנטיקה של תוכנית עומדת בדרישות המפרט שלה.

  • הוכחת נכונות (2)-התוצאה proof of correctness

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

  • מיפרט פורמלי formal specification

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

  • נכונות חלקית partial correctness

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

  • נכונות כוללת total correctness

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

  • זריעת תקלות error seeding\bug seeding\fault seeding

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

  • תקלות ילידה indigenous error\indigenous fault

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

  • תוכנית בקרת תקלות error control software

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


     

  • תחזית תקלות error prediction

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

  • תקלה ללא תקנה unrecoverable error

     תקלה שאי אפשר להתאושש ממנה ללא שימוש בטכניקות התאוששות חיצוניות לתוכנית המחשב.