סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
להתקין
גישה מהירה יותר מאשר בדפדפן!
 

חוזה (תכנות)

מַדָד חוזה (תכנות)

תכנות לפי חוזה (באנגלית: Design by Contract, בקיצור: DbC) היא שיטת עיצוב תוכנה, המתבססת על הגדרת מפרטים פורמליים, מדויקים וניתנים לאימות עבור ממשקים של רכיבי תוכנה. [1]

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

ממשק (תכנות)

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

חָדָשׁ!!: חוזה (תכנות) וממשק (תכנות) · ראה עוד »

מצב (מדעי המחשב)

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

חָדָשׁ!!: חוזה (תכנות) ומצב (מדעי המחשב) · ראה עוד »

מתודה (תכנות)

#הפניה שגרה (תכנות).

חָדָשׁ!!: חוזה (תכנות) ומתודה (תכנות) · ראה עוד »

מטפורה

מֶטָפוֹרָה (מיוונית: μεταφορά; צירוף של התחילית מטא (μετά.

חָדָשׁ!!: חוזה (תכנות) ומטפורה · ראה עוד »

מחלקה (תכנות)

מחלקה (Class) היא המסגרת הבסיסית של תכנות מונחה-עצמים.

חָדָשׁ!!: חוזה (תכנות) ומחלקה (תכנות) · ראה עוד »

מהדר

תרשים המתאר פעולת מהדר בעל מספר שפות ומספר יעדים מְהַדֵּר (באנגלית: Compiler) הוא תוכנית מחשב המתרגמת משפת מחשב אחת לשפת מחשב אחרת.

חָדָשׁ!!: חוזה (תכנות) ומהדר · ראה עוד »

מודול (תוכנה)

מודול (בעברית תקנית: פִּרְקָן) הוא תת-מערכת המהווה חלק מתוכנית מחשב ומבצעת פעולה מסוימת.

חָדָשׁ!!: חוזה (תכנות) ומודול (תוכנה) · ראה עוד »

מימוש

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

חָדָשׁ!!: חוזה (תכנות) ומימוש · ראה עוד »

אנגלית

אנגלית (באנגלית: English) היא שפה ממשפחת השפות הגרמאניות שמקורה באנגליה, והיא אחת השפות המדוברות ביותר בעולם.

חָדָשׁ!!: חוזה (תכנות) ואנגלית · ראה עוד »

אימות תוכנה

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

חָדָשׁ!!: חוזה (תכנות) ואימות תוכנה · ראה עוד »

ניפוי שגיאות

נִפּוּי שְׁגִיאוֹת, נִפּוּי תְּקָלִים או בקיצור ניפוי (באנגלית: debugging, דִּיבָּגִינְג; בעברית: דִּיבּוּג), הוא תהליך שיטתי של איתור והפחתת באגים (תקלים) בתוכנת מחשב או בחומרה אלקטרונית, כדי לגרום להם לפעול כפי שתוכננו.

חָדָשׁ!!: חוזה (תכנות) וניפוי שגיאות · ראה עוד »

ערך (מדעי המחשב)

במדעי המחשב, ערך הוא ביטוי שלא ניתן לחשב אותו לצורה פשוטה יותר (צורה נורמלית).

חָדָשׁ!!: חוזה (תכנות) וערך (מדעי המחשב) · ראה עוד »

עיצוב תוכנה

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

חָדָשׁ!!: חוזה (תכנות) ועיצוב תוכנה · ראה עוד »

פלט

פֶּלֶט, בתחום המחשוב והאוטומציה, הוא תוצר של פעולת מחשב או מכשיר אוטומטי אחר.

חָדָשׁ!!: חוזה (תכנות) ופלט · ראה עוד »

פורמליזם (מתמטיקה)

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

חָדָשׁ!!: חוזה (תכנות) ופורמליזם (מתמטיקה) · ראה עוד »

פיתוח מונחה-בדיקות

פיתוח מונחה-בדיקות (Test-driven development ובקיצור TDD) היא מתודולוגיית פיתוח תוכנה שבה נכתבת בדיקת יחידה בטרם נכתב הקוד אותו היא בודקת.

חָדָשׁ!!: חוזה (תכנות) ופיתוח מונחה-בדיקות · ראה עוד »

קלט

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

חָדָשׁ!!: חוזה (תכנות) וקלט · ראה עוד »

שפת תכנות

המונח שפת תכנות אוגד בתוכו מספר שפות מחשב שהן תמיד לוגיות, ומשמשות לבניית תוכנה.

חָדָשׁ!!: חוזה (תכנות) ושפת תכנות · ראה עוד »

שגרה (תכנות)

בתכנות מחשבים, שגרה (באנגלית: Routine), תת-שגרה (באנגלית: Subroutine), פרוצדורה (באנגלית: Procedure), ובתכנות מונחה-עצמים שיטה/מתודה (באנגלית Method), היא רצף של פקודות המאוגדות יחדיו, במטרה לבצע מטלה מוגדרת, מימוש של אלגוריתם.

חָדָשׁ!!: חוזה (תכנות) ושגרה (תכנות) · ראה עוד »

תוכנה

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

חָדָשׁ!!: חוזה (תכנות) ותוכנה · ראה עוד »

תכנות מונחה-עצמים

תכנות מונחה־עצמים או לעיתים תכנות מוכוון־עצמים (באנגלית: Object-Oriented Programming, או בקיצור OOP) הוא פרדיגמת תכנות המשתמשת ב"עצמים" (אובייקטים) לשם תכנות תוכניות מחשב.

חָדָשׁ!!: חוזה (תכנות) ותכנות מונחה-עצמים · ראה עוד »

טענת נכונות

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

חָדָשׁ!!: חוזה (תכנות) וטענת נכונות · ראה עוד »

טיפוס נתונים

טיפוס נתונים (באנגלית: data type) הוא מושג בשפות תכנות המתאר את סוגו של משתנה השייך לו, כלומר מגדיר אלו ערכים הוא עשוי לקבל, ובאלו דרכים.

חָדָשׁ!!: חוזה (תכנות) וטיפוס נתונים · ראה עוד »

טיפוס נתונים מופשט

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

חָדָשׁ!!: חוזה (תכנות) וטיפוס נתונים מופשט · ראה עוד »

זיכרון מחשב

#הפניה זיכרון גישה אקראית.

חָדָשׁ!!: חוזה (תכנות) וזיכרון מחשב · ראה עוד »

חריגה

#הפניהטיפול בחריגות.

חָדָשׁ!!: חוזה (תכנות) וחריגה · ראה עוד »

חוצץ

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

חָדָשׁ!!: חוזה (תכנות) וחוצץ · ראה עוד »

חוזה

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

חָדָשׁ!!: חוזה (תכנות) וחוזה · ראה עוד »

באג

Firefox בָּאג (מונח עברי: תֶּקֶל; באנגלית: Bug) הוא כשל טכני במערכת מבוססת תוכנה, שמתנהגת בצורה שגויה, לא צפויה או שאיננה מתוכננת.

חָדָשׁ!!: חוזה (תכנות) ובאג · ראה עוד »

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

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

חָדָשׁ!!: חוזה (תכנות) ובדיקות אינטגרציה · ראה עוד »

בדיקות תוכנה

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

חָדָשׁ!!: חוזה (תכנות) ובדיקות תוכנה · ראה עוד »

בדיקות יחידה

במחקר ופיתוח, בדיקות יחידה (Unit tests) הן בדיקות ברמת יחידות המערכת הקטנות שמאמתות את פעילותן התקינה של היחידות.

חָדָשׁ!!: חוזה (תכנות) ובדיקות יחידה · ראה עוד »

כונן קשיח

#הפניה דיסק קשיח.

חָדָשׁ!!: חוזה (תכנות) וכונן קשיח · ראה עוד »

ירושה (תכנות)

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

חָדָשׁ!!: חוזה (תכנות) וירושה (תכנות) · ראה עוד »

אזכור

[1] https://he.wikipedia.org/wiki/חוזה_(תכנות)

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »