Real-time testing

Real-time testing is the process of testing real-time computer systems.

Software testing is performed to detect and help correct bugs (errors) in computer software. Testing involves ensuring not only that the software is error-free but that it provides the required functionality to the user. Static and conventional methods of testing can detect bugs, but such techniques may not ensure correct results in real time software systems.
Real-time software systems have strict timing constraints and have a deterministic behavior. These systems have to schedule their tasks such that the timing constraints imposed on them are met. Conventional static way of analysis is not adequate to deal with such timing constraints, hence additional real-time testing is important.[1]

Strategy

Test case design for real time testing can be proposed in four steps[2]

  • Task testing
In the very first step, each task is tested individually with conventional static testing. This testing is performed only to discover the errors in logic or syntax of the program. Order of the events doesn't matter as task testing doesn't deal with timing constraints and time properties of events.
  • Behavioral testing
Using the system models designed with the help of automated testing tools, it is possible to simulate behavior of real time system and impact of concurrent external events on its behavior.
  • Intertask testing
Once the testing with the individual task is done, then task is supposed to be error free in coding and behavioral area. Time-related constraints are tested with intertask testing. To reveal the errors in communication, asynchronous tasks are tested with variable data rates and different payloads.
  • System testing
In this testing, software and hardware are integrated and full range of system tests are conducted to discover errors, if any, during software and hardware interfacing.

Tools for real time testing

As testing of real time systems is becoming more important, there are some tools designed for such testing.

MSC

Message Sequence Charts is an internationally accepted standard for capturing requirements.[3] MSC provides a graphical 2-D language often required for collecting requirements through some interaction scenarios.

SDL

Specification and Description Language is a standard used for design and analysis. SDL[4] supports the specification of complex software systems and has been extensively applied across a broad array of domains from telecommunications, automation, through to general software development

TTCN

Testing and Test Control Notation is the only internationally standard testing language. TTCN3[5] provides a broader applicability, as compared to earlier versions of TTCN, which were primarily focused on OSI protocols only.

These three standards together are used for testing of real time applications. It is necessary that requirements be satisfied with these models and test cases generated must capture the functional and real time information needed to test systems. Also, the changes in the requirements of design and new information about the real time properties of systems should be fed into models so that its impact can be found out.

To accurately capture the real time properties of a given test system and to ensure that requirements and models are used to generate realistic and enforceable timing information, it is essential that the language itself (TTCN-3) has a well understood and semantically sound model of time.

TTCN-3

Background

TTCN-3 is the only currently available, internationally standardized testing language. Prior to TTCN3, its earlier versions were having limited functionality and limited scope over OSI protocol. But, TTCN3 is an advanced version and has broader applicability.
Characteristics of TTCN3 are:

  • ability to specify dynamic concurrent testing
  • operations for message-based and procedure based communication
  • the ability to specify data and signature templates with powerful matching mechanisms
  • type and value parameterization
  • the assignment and handling of test verdicts
  • test suite parameterization and test case selection mechanisms

The reason for using TTCN3 for real time testing is because of its timers. These timers are defined in function test suites. There are no any global kind timers used in TTCN3. These timers can be started, stopped and checked using simple functions like timer.start, timer.stop, and timer.read.

Snapshot Semantics is a technique in TTCN3 (also in TTCN2), which deals with the message passed during communication by system to system or implementation under test. When a series of responses are received by system under test, then snapshot is taken and they are evaluated in order of their arrival. So, each time around a set of attributes, a snapshot is taken and only those events are evaluated which are present in snapshot.

But this technique is not efficient as some events and their attribute information might get lost while the snapshot is taken. Some events might get recorded on processing queue, but not on snapshot. Such events can never get processed. Also, if the test executer equipment is not fast enough, then it can not communicate properly with the system under test. So, faults might get generated during such test evaluation.

Linux tools[6][7]

See also

References

  1. ^ Tsai, J.J.P.; Fang, K.-Y.; Bi, Y.-D. (1990). "On real-time software testing and debugging". Proceedings., Fourteenth Annual International Computer Software and Applications Conference. pp. 512–518. doi:10.1109/CMPSAC.1990.139423. ISBN 978-0-8186-2054-6.
  2. ^ Pressman, Roger S. (2005). Software engineering : a practitioner's approach (6th ed.). Boston, Mass.: McGraw-Hill. ISBN 0-07-285318-2. OCLC 53848343.
  3. ^ TTCN-3 Test Case Generation from Message Sequence Charts (PDF).
  4. ^ "SDL Forum Society - Home page". sdl-forum.org. Retrieved 2021-03-08.
  5. ^ "Home". TTCN-3. Retrieved 2021-03-08.
  6. ^ Dahlke, Patrick (2018-02-06). "Realtime Linux". Medium. Retrieved 2021-03-10.
  7. ^ "Realtime Testing Best Practices - eLinux.org". elinux.org. Retrieved 2021-03-10.

Read other articles:

Mark Peter Begich[1] (/ˈbɛɡɪtʃ/; lahir 30 Maret 1962) adalah seorang politikus Amerika Serikat yang menjadi Senator Amerika Serikat dari Alaska dari 2009 sampai 2015. Seorang anggota Partai Demokrat, ia sebelumnya menjabat sebagai Walikota Anchorage dari 2003 sampai 2009. Referensi ^ Atwood, Evangeline; DeArmond, Robert N. (1977). Who's Who in Alaskan Politics. Portland: Binford & Mort for the Alaska Historical Commission. hlm. 6.  Bacaan tambahan Biografi di Biogr...

 

 

Physical or virtual transactions of buying and selling involving raw or primary commodities Part of a series onFinancial markets Public market Exchange · Securities Bond market Bond valuation Corporate bond Fixed income Government bond High-yield debt Municipal bond Securitization Stock market Common stock Preferred stock Registered share Stock Stock certificate Stock exchange Other markets Derivatives (Credit derivativeFutures exchangeHybrid security) Foreign exchange (CurrencyExchange...

 

 

Questa voce o sezione tratta di una competizione calcistica in corso. Le informazioni possono pertanto cambiare rapidamente con il progredire degli eventi. Se vuoi scrivere un articolo giornalistico sull'argomento, puoi farlo su Wikinotizie. Non aggiungere speculazioni alla voce. Voce principale: Rangers Football Club. Rangers F.C.Stagione 2023-2024Sport calcio Squadra Rangers Allenatore Michael Beale (1ª-7ª) Steven Davis (ad interim) (8ª) Philippe Clement (9ª-) Presidente John Benn...

2015 single by David Guetta featuring Nicki Minaj, Bebe Rexha and AfrojackHey MamaSingle by David Guetta featuring Nicki Minaj, Bebe Rexha and Afrojackfrom the album Listen Released16 March 2015 (2015-03-16)GenreElectro housetrapLength3:12LabelParlophoneAtlanticSongwriter(s)Ester DeanSean DouglasDavid GuettaGiorgio TuinfortOnika MarajBebe RexhaNick van de WallAlan LomaxProducer(s)David GuettaAfrojackGiorgio TuinfortDavid Guetta singles chronology What I Did for Love (2014)...

 

 

Charles-Louis de Secondat, barone di La Brède e di MontesquieuLa separazione dei poteri (o divisione dei poteri), nel diritto, è uno dei principi giuridici fondamentali dello Stato di diritto e della democrazia liberale. Consiste nell'individuazione di tre funzioni pubbliche principali nell'ambito della sovranità dello Stato (legislazione, amministrazione e giurisdizione) e nell'attribuzione delle stesse a tre distinti poteri dello stato, intesi come organi o complessi di organi dello Stat...

 

 

Open-source directory server Apache Directory ServerDeveloper(s)Apache Software FoundationStable release2.0.0-AM27 / October 23, 2023; 7 months ago (2023-10-23)[1] RepositoryDirectory Server RepositoryWritten inJavaOperating systemCross-platformTypeLDAPLicenseApache License 2.0Websitedirectory.apache.org Apache Directory is an open source project of the Apache Software Foundation. The Apache Directory Server, originally written by Alex Karasulu, is an embeddable dire...

Railway line in Japan Not to be confused with Sōbu Line (Rapid). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Sōbu Main Line – news · newspapers · books · scholar · JSTOR (January 2016) (Learn how and when to remove this message) Sōbu Main LineJOSōbu/Yokosuka Line E235 series EMUOverviewOwner East Jap...

 

 

National association football team This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Tajikistan national under-23 football team – news · newspapers · books · scholar · JSTOR (July 2023) (Learn how and when to remove this message) Tajikistan U23Nickname(s)The Crown (Persian: تاج, Tajik: Тоҷ) The Persian L...

 

 

Comune in Liguria, ItalyCicagnaComuneComune di CicagnaLocation of Cicagna CicagnaLocation of Cicagna in ItalyShow map of ItalyCicagnaCicagna (Liguria)Show map of LiguriaCoordinates: 44°25′N 9°14′E / 44.417°N 9.233°E / 44.417; 9.233CountryItalyRegionLiguriaMetropolitan cityGenoa (GE)FrazioniMonleone, Pianezza, SerraGovernment • MayorMarco LimonciniArea[1] • Total11.28 km2 (4.36 sq mi)Elevation88 m (289 ft)...

2013 fantasy film directed by Peter Jackson The Hobbit:The Desolation of SmaugTheatrical release posterDirected byPeter JacksonScreenplay by Fran Walsh Philippa Boyens Peter Jackson Guillermo del Toro Based onThe Hobbitby J. R. R. TolkienProduced by Carolynne Cunningham Zane Weiner Fran Walsh Peter Jackson Starring Ian McKellen Martin Freeman Richard Armitage Benedict Cumberbatch Evangeline Lilly Lee Pace Luke Evans Ken Stott James Nesbitt Orlando Bloom CinematographyAndrew LesnieEdited byJab...

 

 

Disambiguazione – Se stai cercando altri significati, vedi South Park (disambigua). South Parkserie TV d'animazione Immagine tratta dalla sigla della serie Lingua orig.inglese PaeseStati Uniti AutoreTrey Parker, Matt Stone RegiaTrey Parker MusichePrimus StudioCelluloid Studios (st. 1), Braniff Productions (st. 1-10), Parker-Stone Productions (st. 10-11), South Park Studios (st. 11-in corso), Comedy Partners ReteComedy Central 1ª TV13 a...

 

 

Questa voce sugli argomenti musicisti statunitensi e rock è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti dei progetti di riferimento 1, 2. Roger McGuinn Nazionalità Stati Uniti GenereFolk rockCountry rockRock psichedelico Periodo di attività musicale1965 – in attività Strumentovoce, chitarra, banjo, sintetizzatore, moog, minimoog, tastiere Sito ufficiale Modifica dati su Wikidata · Manuale Roger...

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

 

 

Russian politician (1881–1970) In this name that follows Eastern Slavic naming customs, the patronymic is Fyodorovich and the family name is Kerensky. Alexander KerenskyАлександр КеренскийKerensky in 1917Minister-Chairman of the Russian Provisional Government (Prime Minister of Russia)In office21 July 1917 – 7 November 1917Preceded byGeorgy LvovSucceeded byVladimir Lenin (as Chairman of the Council of People's Commissars)Minister of War and NavyIn office18 M...

 

 

Diplomatic relations between the Portuguese Republic and the Islamic Republic of Iran Bilateral relationsPortugal-Iran relations Portugal Iran The diplomatic relations between the Portuguese Republic and the Islamic Republic of Iran date back to the 16th century, following the establishment of the Portuguese State of India. History Portuguese residents of Ormuz, c. 1540; they had flooded their homes due to the warm weather. The first interactions between Portugal and Iran date back to the 16t...

كعكة الشجرةBaumkuchen (بالألمانية) معلومات عامةالمنشأ ألمانيا بلد المطبخ مطبخ ألماني النوع كعكة سيخ المكونات الرئيسية طحين طبقة (10) تعديل - تعديل مصدري - تعديل ويكي بيانات كعكة الشَّجَرة (بالألمانية: Baumkuchen) هو نوع من كعك السيخ من المطبخ الألماني، وهي حلوى شهيرة في اليابان. الحلقا...

 

 

BacquevillecomuneBacqueville – VedutaLa Chiesa di Notre-Dame a Bacqueville LocalizzazioneStato Francia Regione Normandia Dipartimento Eure ArrondissementLes Andelys CantoneRomilly-sur-Andelle TerritorioCoordinate49°19′N 1°22′E49°19′N, 1°22′E (Bacqueville) Altitudine69 e 159 m s.l.m. Superficie11 km² Abitanti542[1] (2009) Densità49,27 ab./km² Altre informazioniCod. postale27440 Fuso orarioUTC+1 Codice INSEE27034 CartografiaBacqueville Sito...

 

 

Bright Osayi-SamuelNazionalità Nigeria Altezza175 cm Peso72 kg Calcio RuoloCentrocampista Squadra Fenerbahçe CarrieraGiovanili 20??-20?? Blackpool Squadre di club1 2015-2017 Blackpool64 (4)[1]2017-2021 QPR103 (11)2021- Fenerbahçe72 (2) Nazionale 2022- Nigeria18 (0) Palmarès  Coppa d'Africa ArgentoCosta d'Avorio 2023 1 I due numeri indicano le presenze e le reti segnate, per le sole partite di campionato.Il simbolo → indica un trasferimento in p...

Sport has always been important in Birmingham, England, from the hundreds of diverse grass-roots sports clubs to internationally famous teams, associations and venues. The city was the first city to have been awarded the title National City of Sport by the Sports Council.[1] Major teams Major sports teams in Birmingham Club Sport Founded League Venue Aston Villa Football 1874 Premier League Villa Park Birmingham City Football 1875 Football League Championship St. Andrew's Stadium Bir...

 

 

Browns Park National Wildlife RefugeIUCN category IV (habitat/species management area)Show map of the United StatesShow map of ColoradoLocationMoffat County, Colorado, United StatesNearest cityCraigCoordinates40°49′30″N 108°57′0″W / 40.82500°N 108.95000°W / 40.82500; -108.95000[1]Area13,450 acres (54.4 km2)Established1965Governing bodyU.S. Fish and Wildlife ServiceWebsitewww.fws.gov/refuge/browns_park/ Browns Park National Wildlife Re...