פסקי דין

תתע (ב"ש) 690-04-20 מדינת ישראל נ' נאססרה חסן - חלק 18

24 נובמבר 2022
הדפסה

53. מר גאטסונייד נשאל אם יש ניסוי שנעשה שמוכיח שהתוכנה בודקת את כל הקריטריונים שהיא מתיימרת לבדוק, ותשובתו היתה שבדיקה כזו לא צורפה לחוות הדעת שלו (פרו' מיום 11.10.21 עמ' 328 ש' 20).

העד נשאל אם נעשו בדיקות לפיהן הוזרמו במכוון פרופילים עם 2 נקודות התאמה בלבד כדי לוודא שהמכשיר יודע לפסול את הבדיקה. לדבריו בשנים 1987-1989 בגאטסו ניתן היה לראות את הנתונים, את הפרופילים ואת תוצאות המדידה (פרו' מיום 11.10.21 עמ' 315 ש' 12-13). העד לא זכר אם בוצעה בדיקה שכזו על ידי גורם חיצוני. לדבריו ניסוי כזה נערך בממלכה המאוחדת כחלק מהדרישות שלהם להכרה במכשיר (עמ' 319 ש' 15-19). הבדיקות הללו לא צורפו לחוות הדעת (עמ' 321 ש' 6-11).

מר גאטסונייד העיד כי האלגוריתם בשימוש מזה 30 שנה במדינות רבות ולא נמצא שום "באג" שמשפיע על המדידות (פרו' מיום 11.10.21 עמ' 328 ש' 2-3).

54. מר כהן, נציג הזכיין, נשאל אף הוא איך הוא יודע שהאלגוריתם באמת מבצע את הסינון שהוא אמור לבצע, ועל כך השיב: "אני מסתמך על הצהרת היצרן, כמו כן היצרן מבצע בדיקות הן בתהליך הפיתוח והן בתהליך מאוחר יותר. מעבר לכך אנו הזכיין באמצעות מכון התקנים הישראלי שהפעיל את מכון התקנים ההולנדי לבחירתו, ביצענו בדיקות פונקציונאליות למערכת" (עמ' 54 ש' 15-19, עמ' 79 ש' 1 עד עמ' 80 ש' 32).

לדבריו: "הנחת היסוד היא שהמוצר שהינו מוצר תוכנה בסופו של דבר, בבסיסו עבר סט רחב מאוד של בדיקות שמראה שהמוצר מבצע את מה שהוא מבצע" (עמ' 55 ש' 7-9).

מר כהן הוסיף כי ניתן ללמוד שמבוצע סינון מעצם העובדה שהמערכת לא מייצרת מדידת מהירות ביחס ל-100% מכלי הרכב שעוברים מעל הלולאות. לדבריו: "אנחנו כן רואים שכמות המדידות מן הסתם לא מאה אחוז כי בעמדות מהירות נע סביב ה- 95% ובעמדות רמזור סביב ה- 90% וזאת בשל ההאצה וההאטה וזה מלמד כי המערכת מבצעת אלימינציה" (עמ' 55 ש' 17-19).

--- סוף עמוד 21 ---

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

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

עמוד הקודם1...1718
19...74עמוד הבא