לוגו של האוניברסיטה העברית בירושלים

סילבוס

ניתוח אוטומטי של תוכנה - 67532
English
הדפסה
 
סגור סגירה חלון
גרסת PDF
תאריך עדכון אחרון 09-09-2020
נקודות זכות באוניברסיטה העברית: 2

תואר: מוסמך

היחידה האקדמית שאחראית על הקורס: מדעי המחשב

סמסטר: סמסטר א'

שפת ההוראה: אנגלית ועברית

קמפוס: קרית א"י ספרא

מורה אחראי על הקורס (רכז): גיא כץ

דוא"ל של המורה האחראי על הקורס: guykatz@cs.huji.acil

שעות קבלה של רכז הקורס: בתאום מראש

מורי הקורס:
ד"ר גיא כץ

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

נתמקד ב: פתרנים לספיקות בוליאנית (SAT), פתרנים לספיקות מודולו תאוריות (SMT), ופתרני תכנות לינארי (LP)

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

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

תוצרי למידה :
בסיומו של קורס זה, סטודנטים יהיו מסוגלים:

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

דרישות נוכחות (%):
הנוכחות חובה

שיטת ההוראה בקורס: הרצאות מקוונות סינכרוניות

רשימת נושאים / תכנית הלימודים בקורס:
פתרני SAT, פתרני SMT, פתרני LP, דדוקציה, הרצות סימבוליות, בדיקות מודל, אימות של רשתות נוירונים

חומר חובה לקריאה:
-

חומר לקריאה נוספת:

הערכת הקורס - הרכב הציון הסופי :
מבחן מסכם בכתב/בחינה בעל פה 0 %
הרצאה0 %
השתתפות 0 %
הגשת עבודה 70 %
הגשת תרגילים 30 %
הגשת דו"חות 0 %
פרויקט מחקר 0 %
בחנים 0 %
אחר 0 %

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