his.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Skövde: University of Skövde , 1999.
Serie
IDA Technical Reports ; HS-IDA-TR-99-001
HSV kategori
Identifikatorer
URN: urn:nbn:se:his:diva-1180OAI: oai:DiVA.org:his-1180DiVA, id: diva2:2307
Merknad

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

Tilgjengelig fra: 2008-06-17 Laget: 2008-06-17 Sist oppdatert: 2019-07-09bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Mellin, JonasAndler, Sten F.

Søk i DiVA

Av forfatter/redaktør
Mellin, JonasAndler, Sten F.
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 1913 treff
RefereraExporteraLink to record
Permanent link

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