קוד תקן: 07.06.13
symbolic execution
ביצוע סמלי

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

[#8394] נוסף בתאריך 17-08-2006

« המונחים הקודמים
אתחל
bootstrap v.
אתחל
boot v.
אסף-ובצע
assemble-and-go
 המונחים הבאים »
בסיס-טעינה
loaded origin
בסיס-סף
assembled origin

תגובות (0)
שנה » ניווט
דרכונט
גישה לאתר דרכונט
לא מחובר. להתחברות:
דוא"ל:
סיסמה:
שכחתי סיסמה שכחתי סיסמה
משתמש חדש משתמש חדש
 זכור אותי  כן לא
Top10
מבוקשים
חדשים
אחרונים