Daikon גלאי קבוע
הורד עכשיו

Daikon דירוג וסיכום

Daikon תגים

גַלַאִי איתור גלאי קבוע איתור קבוע תוכנית Invariant. בלתי משתנה מרגל מצלמת msn עקומת אוכמן 8630. DJ Java Decompiler. מרקורי קול 7050. לכידת מסך לינוקס PDF ל MDB. גלגל העין בצ'אט OS Prizm תקע ב whitetail צבי שומרי מסך תזכורת ליום הולדת עבור תוכנת טלוויזיה פענוח ZL webmail

Daikon תיאור

דייקון הוא יישום זיהוי הדינמי של שמורות סבירות; כלומר, הגלאי משתנה דייקון מדווח שמור תוכנית סבירה. שמורה הוא נכס שמחזיק בנקודה או נקודות מסוימות בתוכנית; אלה נתפסים לעיתים קרובות בדוחות assert, תיעוד, ומפרטים פורמלית. Invariants יכול להיות שימושי בהבנת תוכנית וכן שורה של יישומים אחרים. דוגמאות כוללות ".field> ABS (y)"; "Y = 2 * x + 3"; "מערך מיון"; "עבור כל רשימה אובייקטים lst, lst.next.prev = lst"; "עבור כל treenode אובייקטים n, n.left.value

Daikon תוכנה קשורה