יום לאחר מותו, נפתחו נאומי הנעילה של המצעד לוושינגטון למען תעסוקה וחירות בראשות מרטין לותר קינג, בדקת דומייה לזכרו, לאחר שההודעה על מותו נפתחה במילים "ענק נפל". חוק זכויות האזרח נחקק בדיוק שנה מאוחר יותר.
הפרס השנתי, שמעניקה האגודה הסוציולוגית האמריקנית למלומדים שהצטיינו בתרומתם המצטברת לקידום הסוציולוגיה, נקרא מאז 2006 על שמו של דְיוּ בּוֹיְס .
רוסיה (חברת תעופה)
חברת התעופה רוׂסיה (ברוסית: Авиакомпания Россия, באנגלית: Rossiya Airlines) היא חברת התעופה הלאומית השנייה של רוסיה, הנמצאת בבעלות אירופלוט. הנהלתה נמצאת בסנקט פטרבורג שברוסיה והיא מבצעת יותר מ-50% מסך כלל הטיסות היוצאות מנמל התעופה הבינלאומי פולקובו המהווה לבסיס פעולה מרכזי שלה.
החברה מפעילה טיסות נוסעים אזרחיות ממוסקבה ומסנקט פטרבורג ליעדים בינלאומיים. עד 2009, הפעילה החברה טיסות אח"מים עבור ממשלת רוסיה והחזיקה את המטוסים הנשיאותיים של נשיא רוסיה. החל משנת 2009 את תפקיד זה מבצעת יחידת הטיסה המיוחדת "רוסיה" שאת טיסותיה היא מפעילה מנמל התעופה הבינלאומי ונוקובו.
נכון לשנת 2016 החברה הטיסה 8.099 מיליון איש ונחשבת לחברת התעופה הרביעית בגודלה ברוסיה על פי מדד זה. בשנת 2016 החברה מיזגה אל תוכה את חברות התעופה דונאוויה וחברת התעופה אורנבורג איירליינס.
היסטוריה.
החברה הוקמה בשנת 1992 כחברת התעופה פולקובו והייתה בבעלות מלאה של ממשלה הרוסית ובסיסה נמצא בנמל התעופה הבינלאומי פולקובו שבסנקט פטרבורג.
ב-2010 הודיעה ממשלת רוסיה שהיא ממזגת את כל חברות התעופה שברשותה עם חברת התעופה הלאומית של רוסיה, "אארופלוט", על מנת לשפר את יכולתן הפיננסיות.
בדצמבר 2015 הודיעה קבוצת אארופלוט על איחוד חברות התעופה האזוריות שלה ברוסיה, דונאביה ואורנייר תחת השם רוסיה (שמה של החברה הגדולה מבין השלושה). האיחוד לא כלל את "Aurora", חברת תעופה קטנה שבסיסה ביוז'נו-סחלינסק. החברה החדשה (לאחר האיחוד) מגיעה ל-48 יעדים פנימיים ברוסיה ו-42 יעדים בינלאומיים. מיזוג החברות הושלם בפברואר 2016.
צי המטוסים.
צי המטוסים של החברה נכון לאוגוסט 2020:
פעילות החברה בישראל.
החברה מפעילה חמש טיסות שבועיות מנמל התעופה הבינלאומי פולקובו שבסנקט פטרבורג לנמל התעופה בן-גוריון . הטיסות מתבצעות במטוסי האיירבוס A320 של החברה.
מיכון בדיקות יחידה
מיכון בדיקות יחידה (באנגלית: Automatic Unit Testing) הוא תת-ענף של בדיקות יחידה בהנדסת תוכנה. המיכון (אוטומציה) מתבטא ביצירה של הבדיקות והרצתן באופן אוטומטי. השימוש באוטומציה נועד להקל על מפתח התוכנה, על בודק התוכנה, ויכול לחסוך לחברת התוכנה משאבים רבים.
סיווג טכניקות וכלי האוטומציה.
ניתן לסווג את טכניקות האוטומציה לפי כמה קטגוריות מרכזיות:
סביבת פיתוח.
קיימות מספר סביבות פיתוח (לדוגמה JUnit או ויז'ואל סטודיו), המותאמות ליצור שבלוני ואוטומטי של בדיקות יחידה, כמו גם הרצה אוטומטית של הבדיקות וויזואליזציה נוחה של התוצאות.
סביבות אלו מאפשרות הרצה של כל בדיקות היחידה, וכלים שונים לאוטומציה הקיימים בשוק יבואו לרוב כתוספת לסביבה קיימת.
יצירת בדיקות יחידה.
תהליך היצירה מתחלק לשני חלקים:
יצירת הרצף.
קיימות מספר טכניקות ליצירת רצף הקריאות שמהן תורכב הבדיקה.
Random.
בשיטה זו מייצרים את בדיקות היחידה באופן אקראי, על ידי הגרלת קריאות לפונקציות השונות, או מעבר בין מצבים כאשר ניתן למדל את המחלקה על ידי דיאגרמת מצבים
היתרון המרכזי בשיטה זו הוא הפשטות שלה, מה שמאפשר יצירת כמות גדולה של בדיקות יחידה רבות, תוך חיסכון במשאבים.
החסרון המרכזי הוא שהאקראיות לא מבטיחה כיסוי של כל המקרים הבעייתיים של התוכנה, וייתכן מאוד שיהיו חלקים שלמים שלא נבדקו. לרוב תשולב שיטה זו עם בחירה של הבדיקות המועדפות, מתוך כמות גדולה שנוצרה.
Symbolic.
בשיטה זו מייצרים את מקרי הבדיקה על ידי ניתוח סימבולי של הקוד, על ידי שימוש בפסוקים מתמטיים. המטרה היא למצוא עבור כל פונקציה את החלוקה של הקלטים שלה, לפי המסלול בקוד שבה היא עוברת. עבור כל מסלול כזה תיווצר בדיקת יחידה אחת.
דוגמה לניתוח סימבולי.
בדוגמה להלן ניתן לראות פונקציה בסיסית, המקבלת ערך ונכשלת אם הערך הוא 12. בניתוח סמבולי, לכל משתנה קלט מקושר סימבול, ומתקיים מעקב אחרי מצב הסימבולים לאורך הקוד. במקרה הזה Y יקושר לסימבול, והוא יסומן ב-S, בזמן הקריאה, ובהמשך יקושר לערך 2S. בכל פעם שהקוד מגיע לתנאי, כגון y==12, יוגרל הכיוון שבו יתקדם הרצף בקוד ויתווסף אילוץ שיציין איזה מסלול נבחר בקוד. למשל במקרה הזה הוגרל true, והאילוץ יהיה 2S=12.
y = read()
y = 2 * y
if (y == 12)
fails()
print("OK")
כאשר מסתיימת הריצה על כל הקוד, מחושבים הקלטים לפונקציה על ידי פתירת האילוצים שנאספו על הקלטים. מהתוצאה נוצרת בדיקת יחידה אחת. כעת מבוצע התהליך שוב, תוך חישוב מסלול חדש שטרם חושב באיטרציות הקודמות, והאילוצים מעודכנים בהתאם. כך התהליך ממשיך עד שמתקבלות בדיקות יחידה המכסות את כל המסלולים האפשריים בקוד.
סיפוק הבדיקה (Assertion).
קיימות מספר טכניקות למציאת הסיפוק המתאים.
Uncaught Exceptions.
טכניקה זו מסתמכת על העקרונות:
תחת עקרונות אלו, רק מתודות שלא יזרקו exception יספקו את הבדיקה וכאלו שיזרקו לא יספקו.
Operation Model.
בטכניקה זו בודקים את ה-"Invariant" של האובייקטים ותנאי ההתחלה והסיום של המתודה ורק אם הם נשמרו אז המתודה מספקת.
כלומר פונקציה שלא עמדה בחוזה שלה איננה מספקת.
Capture &amp; Replay.
טכניקה זו משתייכת לשני החלקים יצירת הרצף ומציאת הסיפוק יחד.
בשלב ראשון (שלב ה-Capture) מפעילים את המתודה הנבדקת "מקליטים"/שומרים את תוצאות המתודה ו/או את מצבה של המערכת (state - ערכים במשתנים ובשדות של האובייקטים) לאחר הפעלת המתודה.
בשלב שני מופעלת שוב את המתודה ומשווים את תוצאתה ו/או מצב המערכת שמתקבלים הפעם לנתונים שנשמרו בשלב ה-Capture וכל סטייה תחשב לטעות. כלומר רק אם הנתונים יהיו זהים המתודה תספק.
טכניקה זו משמשת לרוב ליצירת בדיקות נסיגה כך ששומרים את התוצאות של המתודות בגרסאות קודמות של המערכת וכאשר מעדכנים את המערכת מריצים שוב ומשווים לתוצאות הקודמות. כך ניתן לראות אם יש שינוי בהתנהגות והאם הוכנסו באגים למערכת.
טכניקה זו, בניגוד לאחרות, דורשת שהמערכת תהיה זמינה ופועלת.
בחירת בדיקות יחידה.
ניתן להשתמש בקריטריונים שונים לצורך בחירת הבדיקות אותן המתכנת או הבודק מעוניינים להריץ מתוך קבוצה גדולה של בדיקות שנוצרו. שימוש מקובל הוא בחירת הבדיקות לפי כיסויים. הרעיון הוא למצוא קבוצת בדיקות (בדרך כלל קטנה ככל הניתן), המכסה את הקוד. למשל:
תעדוף בדיקות יחידה.
כאשר יש מחסור במשאבים לצורך הרצת כל בדיקות היחידה הרצויות, ניתן ליצור סדר עדיפויות בין הבדיקות, כך שקודם ירוצו הבדיקות החשובות ביותר. באופן דומה לבחירת הבדיקות, גם במקרה של תעדוף ניתן להגדיר קריטריונים שונים של הבדיקות על מנת לקבל תעדוף אוטומטי.
ג'אנין פרוסט
ג'אנין פרוסט (באנגלית: Jeaniene Frost; נולדה ב-13 ביוני 1974) היא סופרת פנטזיה אורבנית אמריקאית.
ז'אנר כתיבתה הוא פנטזיה אורבנית ורומנטיקה. יצירותיה המוכרות ביותר הן סדרת "קאת'רין קרופילד: ציידת" (Night Huntress series), סדרת "העולם של ציידת הלילה" (Night Huntress World) וסדרת "נסיך הלילה" (The Night Prince series).
בנוסף לסדרות הספרים, פרוסט כתבה מספר סיפורים קצרים ונובלות שהתפרסמו באנתולוגיות. זכויות ספריה נמכרו לתשע-עשרה מדינות.
רומנים.
קאת'רין קרופילד: ציידת הלילה.
את רעיון הסדרה "קאת'רין קרופילד: ציידת הלילה" הגתה פרוסט מתוך חלום. "בחלומי, ראיתי גבר ואישה מתווכחים. איכשהו ידעתי שהאשה חצי-ערפדית ושהאיש ערפד מלא, והם התווכחו כיוון שכעס על כך שעזבה אותו." בסדרה שבעה ספרים, וספר נוסף הכולל פרקים וקטעים שלא פורסמו בעבר. חמשת הספרים הראשונים בסדרה ראו אור בתרגום לעברית. שלושת הראשונים בהוצאת הפנטזיה ענתות ספרים, והרביעי והחמישי בהוצאת אהבות.
חייה האישיים.
נשואה למתיו ומתגוררת במדינת פלורידה.
חנה שיגולה
חנה שיגולה (בגרמנית: Hanna Schygulla; נולדה ב-25 בדצמבר 1943) היא שחקנית גרמניה וזמרת שאנסון. נחשבת לאחת השחקניות הבולטות בגל הקולנוע הגרמני החדש.
ביוגרפיה.
שיגולה נולדה בקניגסהיטה (Königshütte, כיום קרויה חוז'וב Chorzów), צפון שלזיה, להורים אנטוני (לבית מזייק) ויוזף שיגולה, ממוצא גרמני. אביה, סוחר עצים במקצועו, גויס לחיל הרגלים הגרמני במהלך מלחמת העולם השנייה, ונשבה על ידי כוחות אמריקניים באיטליה; הוא הוחזק כשבוי מלחמה עד 1948. ב-1945, שיגולה ואמה הגיעו למינכן כפליטות, לאחר שרוב אוכלוסיית הגרמנים בקניגסהיטה גורשה על ידי פולין הקומוניסטית. בשנות ה-60 למדה שיגולה שפות לטיניות ולימודי גרמנית, ובזמנה הפנוי השתתפה בשיעורי משחק במינכן.
תחום הבמה הפך בהמשך למוקד התעניינותה, והיא שיחקה בסרטים רבים. היא נודעה בעיקר בזכות עבודתה עם הבמאי ריינר ורנר פאסבינדר; במרבית סרטיו הופיעה בתפקיד הראשי. אך בזמן הופעתה בסרט , עיבוד לרומן גרמני קלאסי, הסתכסכו פאסבינדר ושיגולה בעקבות חילוקי דעות על אופי הדמות שלה. שיגולה אף מחתה על השכר הנמוך ששולם למופיעים בסרט, והובילה מרד נגד פאסבינדר בעניין זה. בתגובה, פאסבינדר הפסיק את עבודתה עמו. לאחר מכן, הם לא עבדו ביחד מספר שנים, עד הסרט נישואיה של מריה בראון (Die Ehe der Maria Braun) ב-1979, שזכה להצלחה רבה. הסרט התקבל לפסטיבל הסרטים הבינלאומי ה-29 של ברלין, שם זכתה שיגולה בפרס "דב הכסף" לשחקנית הטובה ביותר על הופעתה.