בדיקת זמן אמת

בדיקת זמן אמת (real time testing) היא סוג של בדיקות תוכנה שנכתבו במיוחד לצורך בדיקת מערכות זמן אמת. מערכות זמן אמת הן מערכות שיש אילוצי זמן על תגובות שלהן, ומערכות שהן בעלות התנהגות לא דטרמיניסטית,[1] לדוגמה מערכת שליטה של תנועת מטוסים או מערכת מוניטור רפואית. על מנת לעמוד באילוצי הזמן, מתזמנות מערכות אלו את המשימות שלהן.

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

אסטרטגיה

בדיקת מערכות זמן אמת מתבצעת בארבעה שלבים:[3]

  1. בדיקת המשימה. כל משימה נבדקת בנפרד בדרכים המקובלות של בדיקה סטטית (static analysis). מטרת השלב הזה היא אך ורק למצוא שגיאות לוגיות או תחביריות בתוכנית. התנהגות התוכנה ועמידתה באילוצי הזמן אינם נבדקים בו.
  2. בדיקת התנהגות. בשלב זה נעשה שימוש במודלי מערכת ובכלי בדיקה אוטומטיים, שמדמים התנהגות של מערכת זמן אמת.
  3. בדיקה של מספר משימות. לאחר שכל משימה נבדקה בנפרד, ונמצאה נקייה משגיאות בקוד ומבעיות מבחינת התנהגות המערכת, נבדקת עמידת המערכת באילוצי הזמן כאשר כמה משימות פועלות במקביל. שלב זה נועד למצוא שגיאות בתקשורת, ומשימות א-סינכרוניות נבדקות עם פרמטרים שונים .
  4. בדיקת המערכת. בדיקת החיבור בין התוכנה והחומרה, ובדיקת המערכת בכללותה, כדי למצוא שגיאות שנובעות מהחיבור בין החומרה לתוכנה.

כלים לבדיקת מערכות זמן אמת

MSC

Message Sequence Charts זה תקן בינלאומי מקובל לקבלת דרישות.[4] תקן זה מספק שפה דו־ממדית בצורה ציורית המסבירה את הדרישות דרך תרחישי מקרה.

דוגמה ל-MSC

SDL

Specification and Description Language זה תקן בתחום של עיצוב וניתוח שעוזר בכתיבת דרישות בשפה חד משמעית שלא ניתנת לפירוש בשני פנים ועוזרת לתיאור מערכות מבוזרות.[5] תקן זה תומך בדרישות של מערכות מורכבות ומיושם בצורה רחבה בכל מיני תחומים מתקשורת ואוטומציה ועד פיתוח מערכות כלליות.

TTCN

Testing and Test Control Notation זה תקן בינלאומי רק לשפת בדיקות.[6] מספק יישום רחב יותר בהשוואה לתקנים הקודמים שלו שמתמקדים רק בפרוטוקולים של OSI

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

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

TTCN-3

רקע

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

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

הסיבה לשימוש בתקן זה לצורך בדיקת מערכות זמן אמת הוא בגלל שעוני העצר (timers) שלו. שעוני העצר האלו מוגדרים בפונקציות של חבילות הבדיקה. לא קיים שימוש בשעוני עצר באופן גלובלי בTTCN3. הפעולות שאפשר לעשות עם שעוני עצר אלו הם להתחיל את השעון, לעצור את השעון ולבדוק אותו.
טכנולוגיית סמנטיקה של תצלום-הבזק (Snapshot Semantics) היא טכנולוגיה בתקן TTCN3 (וגם בTTCN2), שבעזרתה מתמודדים עם העברת מסרים בזמן תקשורת בין מערכות או כאשר בודקים מימוש. כאשר מתקבלת סדרה של תגובות על ידי המערכת, תצלום-הבזק (snapshot) נלקח והתגובות נשמרות לפי הסדר הגעתן. כך, שכל תצלום-הבזק הוא תמונת מצב מרגע התצלום האחרון ועד עליו. אבל טכנולוגיה זו לא יעילה עבור חלק מאירועים היות שהיא עלולה לפספס חלק מהמידע כאשר נלקח התצלום. אירועים מסוימים מתבצעים בזמן תהליך ההקלטה ולא בזמן שעושים את התצלום, אירועים כאלו לא ניתן לעבד. בנוסף, אם ציוד ההקלטה אינו מספיק מהיר, הוא אינו יכול להתקשר עם המערכת אשר נמצאת תחת בדיקה. מקרה שכזה יכול להוביל לשגיאות בזמן הבדיקה.
לדוגמה PragmaDev[7] מספקת כלי לפיתוח העומד בתקן TTCN-3. בנוסף, כלי זה מספק גם Model driven testing וגם Continuous integration

ראו גם

הערות שוליים

  1. ^ כלומר, שלא ניתן לחזות את התנהגותה מראש, אלא היא דינמית
  2. ^ Tsai, Jeffrey JP, K-Y. Fang, and Yao-Dong Bi. "On real-time software testing and debugging." Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International. IEEE, 1990.
  3. ^ Software Engineering: A Practitioner's Approach by Roger S Pressman
  4. ^ http://www.sdl-forum.org/issre04-witul/papers/EbnerTTCN3.pdf
  5. ^ http://www.sdl-forum.org/SDL/Overview_of_SDL.pdf
  6. ^ http://www.ttcn-3.org
  7. ^ http://www.pragmadev.com/product/testing.html

Read other articles:

The Flower That Shattered the Stone

1990 studio album by John DenverThe Flower That Shattered the StoneStudio album by John DenverReleasedSeptember 1990Length50:19LabelWindstarProducerJohn Denver, Roger NicholsJohn Denver chronology Earth Songs(1990) The Flower That Shattered the Stone(1990) Christmas, Like a Lullaby(1990) Professional ratingsReview scoresSourceRatingAllmusic[1] The Flower That Shattered the Stone is the 23rd studio album by American singer-songwriter John Denver. It was released in September 1...

 

Hallbergmoos

Hallbergmoos Lambang kebesaranLetak Hallbergmoos di Freising NegaraJermanNegara bagianBayernWilayahOberbayernKreisFreisingPemerintahan • MayorKlaus StallmeisterLuas • Total35,06 km2 (1,354 sq mi)Ketinggian460 m (1,510 ft)Populasi (2013-12-31)[1] • Total10.084 • Kepadatan2,9/km2 (7,4/sq mi)Zona waktuWET/WMPET (UTC+1/+2)Kode pos85396–85399Kode area telepon0811Pelat kendaraanFSSitus webhallbergmoos.de Ha...

 

Laptev Sea

Marginal sea in the Arctic Ocean north of Siberia between the Kara Sea and the East Siberian Sea Laptev SeaLaptev SeaCoordinates76°16′7″N 125°38′23″E / 76.26861°N 125.63972°E / 76.26861; 125.63972TypeSeaBasin countriesRussiaSurface area700,000 km2 (270,000 sq mi)Average depth578 m (1,896 ft)Max. depth3,385 m (11,106 ft)Water volume403,000 km3 (3.27×1011 acre⋅ft)References[1][2][3] ...

Berga

Pour les articles homonymes, voir Berga (homonymie). Cet article est une ébauche concernant une localité catalane. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Berga Héraldique Drapeau Vue générale Administration Pays Espagne Communauté autonome Catalogne Province Province de Barcelone Comarque Berguedà Maire Mandat Montserrat Venturós Villalba (CUP) 2015-2019 Code postal 08600 Démographie Gentilé B...

 

Человек прямоходящий

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

 

Rally

Disambiguazione – Se stai cercando altri significati, vedi Rally (disambigua). Disambiguazione – Se stai cercando il costruttore automobilistico francese degli anni '20 del XX secolo, vedi Automobiles Rally. Questa voce o sezione sull'argomento automobilismo non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferime...

Canon EF 8-15mm lens

Canon fisheye lens EF8–15mm f/4L FISHEYE USMMakerCanonTechnical dataTypeZoomFocus driveUltrasonic motorFocal length8–15mmCrop factor1Aperture (max/min)f/4Close focus distance0.16 m (6.2 in)Max. magnification0.34 (at 15 mm)Construction14 elements in 11 groupsFeaturesShort back focus NoLens-based stabilization NoMacro capable NoUnique featuresFisheye, L-SeriesApplicationSpecial EffectPhysicalMax. length83.0 mm (3.7 in)Diameter78.5 mm (3.1 in)Weight540 gAng...

 

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、�...

 

هنود

هنودمعلومات عامةنسبة التسمية الهند التعداد الكليالتعداد قرابة 1.21 مليار[1][2]تعداد الهند عام 2011ق. 1.32 مليار[3]تقديرات عام 2017ق. 30.8 مليون[4]مناطق الوجود المميزةبلد الأصل الهند البلد الهند  الهند نيبال 4,000,000[5] الولايات المتحدة 3,982,398[6] الإمار...

1914 United States Senate election in North Carolina

1914 United States Senate election in North Carolina ← 1909 November 3, 1914 1920 →   Nominee Lee S. Overman A. A. Whitener Party Democratic Republican Popular vote 121,342 87,101 Percentage 58.10% 41.70% County resultsOverman:      50-60%      60-70%      70-80%      80-90%      >90%Whitener:      50-60%  ...

 

Ludmila Vasileva

Russian wheelchair fencer Ludmila VasilevaPersonal informationBorn (1984-10-18) 18 October 1984 (age 39)Belozersk, Soviet UnionSportCountryRussiaSportWheelchair fencing Medal record Event 1st 2nd 3rd Paralympic Games 0 0 1 World Championships 1 4 2 European Championships 4 1 5 Total 5 5 8 Paralympic Games 2020 Tokyo Foil B Ludmila Vasileva (born 18 October 1984 in Belozersk, Soviet Union) is a Russian wheelchair fencer. She fences in the foil and épée in category B. Ludmila is a four-t...

 

Liga dos Campeões da UEFA de 2012–13

Liga dos Campeões da UEFA de 2012–13 LVIII UEFA Champions League O Estádio de Wembley em Londres sediou a final da competição. Dados Participantes 76 Organização UEFA Período 3 de julho de 2012 – 25 de maio de 2013 Gol(o)s 596 Partidas 213 Média 2,8 gol(o)s por partida Campeão  Bayern de Munique (5º título) Vice-campeão  Borussia Dortmund Melhor marcador POR Cristiano Ronaldo (Real Madrid) – 12 gols Melhor ataque (fase inicial)  Chelsea – 16 gols Melhor def...

Bangun Pagi

Bangun PagiStiker label singel Bangun PagiLagu oleh AdikarsoSisi-AFaridaFormatpelat 10GenrePop, lagu anak-anakDurasi3:00LabelIrama L. 566-136PenciptaAdikarso Bangun Pagi adalah sebuah lagu yang diciptakan dan dinyanyikan oleh Adikarso, diiringi orkes Kelana Ria. Di sisi-A dari singel ini terdapat lagu Farida yang juga dinyanyikan oleh Adikarso. Pada tahun 1960, lagu ini dirilis pada album kompilasi Papaja Mangga Pisang Djambu sebagai lagu kesembilan pada album tersebut. Pranala luar (Indonesi...

 

桃園市立桃園高級中等學校

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目需要补充更多来源。 (2021年5月21日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：桃園市立桃園高級中等學校 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判...

 

Vegetation-induced sedimentary structures

Vegetation-induced sedimentary structures (VISS) are primary sedimentary structures formed by the interaction of detrital sediment with in situ plants. VISS provide physical evidence of vegetation's fundamental role in mediating sediment accumulation and erosion in clastic depositional environments.[1] VISS can be broken into seven types, five being hydrodynamic and two being decay-related. The simple hydrodynamic VISS are categorized by centroclinal cross strata, scratch semicircles ...

Dagnall

For other uses, see Dagnall (disambiguation). Human settlement in EnglandDagnallDagnall Village HallAerial view of Dagnall villageDagnallLocation within BuckinghamshirePopulation511 OS grid referenceSP9965Civil parishEdlesboroughUnitary authorityBuckinghamshireCeremonial countyBuckinghamshireRegionSouth EastCountryEnglandSovereign stateUnited KingdomPost townBerkhamstedPostcode districtHP4Dialling code01442PoliceThames ValleyFireBuckinghamshireAmbulanc...

 

Kaja Kallas

Kaja KallasKallas pada 2016 Perdana Menteri Estonia ke-19PetahanaMulai menjabat 26 Januari 2021PresidenKersti KaljulaidPendahuluJüri RatasPenggantiPetahanaPemimpin Partai Reformasi EstoniaPetahanaMulai menjabat 14 April 2018PendahuluHanno PevkurPenggantiPetahanaAnggota RiigikoguUntuk Harju- dan RaplamaaPetahanaMulai menjabat 3 Maret 2019Masa jabatan6 Maret 2011 – 1 Juli 2014Anggota Parlemen Eropauntuk EstoniaMasa jabatan1 Juli 2014 – 5 September 2018 Informa...

 

تشارلز توماس

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018)   لمعانٍ أخرى، طالع تشارلز توماس (توضيح). تشارلز توماس معلومات شخصية الميلاد 31 مايو 1936 (88 سنة)  كيلو...

Death and funeral of James VI and I

1625 death of the King of England, Scotland and Ireland James VI and I (1566–1625) wearing the Three Brothers jewel The Duke of Buckingham was involved in disagreements about medical interventions James VI and I (1566–1625), King of England, Scotland, and Ireland, died on 27 March 1625 at Theobalds, and was buried at Westminster Abbey on 7 May 1625.[1][2] At Theobalds Charles I was proclaimed King of Great Britain, France, and Ireland at the Mercat cross of Edinburgh In hi...

 

Kevin Davies

Kevin Davies Informasi pribadiNama lengkap Kevin Cyril Davies[1]Tanggal lahir 26 Maret 1977 (umur 47)[1]Tempat lahir Sheffield, InggrisTinggi 6 ft 0 in (1,83 m)[1]Posisi bermain StrikerKarier junior Sheffield United0000–1993 ChesterfieldKarier senior*Tahun Tim Tampil (Gol)1993–1997 Chesterfield 129 (22)1997–1998 Southampton 25 (9)1998–1999 Blackburn Rovers 23 (1)1999–2003 Southampton 82 (10)2002 → Millwall (pinjaman) 9 (3)2003–2013 Bo...