his.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Bounds on Test Effort for Event-Triggered Real-Time Systems
Högskolan i Skövde, Institutionen för datavetenskap.
Högskolan i Skövde, Institutionen för datavetenskap.ORCID-id: 0000-0002-5223-4381
Högskolan i Skövde, Institutionen för datavetenskap.ORCID-id: 0000-0002-6662-9034
1999 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

The test effort required for full test coverage is much higher in an event-triggered than in a time-triggered real-time system. This makes it difficult to attain confidence in the correctness of event-triggered real-time applications by testing, which is a necessary complement to other verification methods. We present a more general upper bound on the test effort of constrained event-triggered real-time systems, assuming multiple resources (a refinement of previous results). The emphasis is on system level testing of application timeliness, assuming that sufficient confidence in its functional correctness has been attained. Covered fault types include incorrect assumptions about temporal attributes of application and execution environment, and synchronization faults. An analysis of the effects that our constraints have on predictability and efficiency shows that the use of designated preemption points is required. A key factor in this approach is the ability to reduce the number of required test cases while maintaining full test coverage.

Ort, förlag, år, upplaga, sidor
Skövde: University of Skövde , 1999.
Serie
IDA Technical Reports ; HS-IDA-TR-99-001
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:his:diva-1180OAI: oai:DiVA.org:his-1180DiVA, id: diva2:2307
Anmärkning

HS-IDA-TR-99-001. See also: Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (pp. 212-2015). https://doi.org/10.1109/RTCSA.1999.811227

Tillgänglig från: 2008-06-17 Skapad: 2008-06-17 Senast uppdaterad: 2019-07-09Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Mellin, JonasAndler, Sten F.

Sök vidare i DiVA

Av författaren/redaktören
Mellin, JonasAndler, Sten F.
Av organisationen
Institutionen för datavetenskap
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 1913 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf